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