26957168c4c0cdcc7ca4f0b19d0eb19474d224ac

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