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