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