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