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