blob: d037d8d06a2a9f9619abc7497af1a486c5e8e3ed [file] [log] [blame]
ec5170397c724a8ae440b2bc529f857c86f0e6b1
The first line of this file holds the git revision number of the
last merge done from the master library sources.