MERGE 156 B

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