559fae430b81595efe151222385192a07a9fc3c3

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