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