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