c375f3bf470f94220149b486c947bb3eb57cde7d

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