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