01cb2b5e69a2d08ef3cc1ea023c22ed9b79f5114

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