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