cb5a598d7f2ebd276686403d141a97c026d33458

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