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