blob: 4674467244f42ddb00e71ea84ff58f30cd4342e5 [file] [log] [blame]
4b3f04c63b5b1a1bbc4dfd71c34341ea4e935115
The first line of this file holds the git revision number of the
last merge done from the master library sources.