1 2 3 4
1984ee00048b63eacd2155cd6d74a2d13e998272 The first line of this file holds the git revision number of the last merge done from the master library sources.