5c2c4743980556c041561533ef31762f524737ca

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