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