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