012ab5cb2ef1c26e8023ce90d3a2bba174da7b30

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