31ff8c31d33c3e77cae4fd55445f12825eb92af5

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