d67c4bf0c42b79d54925ba8c5f23278ee6c3efb6

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