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