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