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