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