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