ddf3758e4a45ca2816fb68f3e4224501a3c4c438

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