1 2 3 4
1af509d46e31a14e7ff17e23b1fd84250976b405 The first line of this file holds the git revision number of the last merge done from the master library sources.