f21be2fdc6f1becdbed1592ea0b245cdeedc5ac8

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