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