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