a47485cd0e9ce6a8b3e88e53ccc0a440f0bd4351

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