db738935c77443840994e5a9f77e619e67a4c43a

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