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