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