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