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