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