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