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