967a215d6419c3db58f8f59a0c252c458abce395

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