394486a1cec9bbb81216311ed153179d9fe1c2c5

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