2503f17e5767bc4fcd0cf3889c90fa0415b0edaa

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