b638b63b99d66786cb37336292604a2ae3490cfd

The first line of this file holds the git revision number of the
last merge done from the master library sources.