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