87e6e490e79384a523bc7f0216c3db60227d6d58

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