480477ca64c3001b9c7e92ef8b978dc92a5912d2

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