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