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