9b9bece388d1bacdc9d1d0024e722ffe449d221d

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