blob: 6f31fab2265ac6f1fae341f7541a63a9bffab357 [file] [log] [blame]
71bdbf431b79dff61944f22c25c7e085ccfc25d5
The first line of this file holds the git revision number of the
last merge done from the master library sources.