1fcb9bb3cefb97cfab1e623826a1cc3f6aadd5f7

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