1a3e80ec25afab6123cdcfe20186f36f006b68bb

The first line of this file holds the git revision number of the last
merge done from the dlang/phobos repository.
