eb716b515356166d3177e6244619be5901f31162

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