d5d00d310ec33aeb18f33f807956ec0c4eeea6bb

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