7fa4eb4b7a32953c2e838f1b0c684a6733172b43

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