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