9703ad5fa23ca63062cb403bd12bc7da4d7845bd

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