81eb6a3f425b2158c67ee32c0cc973a72ce9d6be

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