c4d7bfb9895efc196b04f18f5da77fd99b39212a

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