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