a28a466210199559d38251c11f30515cc83eadd6

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