blob: 4f8589371d3b097c95316a70eed08dd1eefc32b8 [file] [log] [blame]
edfd6f28486017dcb136cd3f3ec252706d4b326e
The first line of this file holds the git revision number of the
last merge done from the master library sources.