a4f445e18fb06a032a4399859f432e03245f1a7d

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