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