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