d3be41f0a1fca20e241e1db62b4b0f5262caac55

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