5fef0d28fc873fb5a0dbfb9149759d76a7b9f1b7

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