2ef9abbcf6a11958b6fa685a89d0150022e82e78

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