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