83b181c68bf332ac7948f145f33d128377a09c42

The first line of this file holds the git revision number of the
last merge done from the master library sources.
