f187e13b712824b08f2a8833033840cd52a3b95a

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