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