850235e4b974b9c5c2d7a1f9860583bd07f2a45c

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