7d510bf5fcec9b0ccc0282f4193a80c0a164df63

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