chiark / gitweb /
remove patch from build-stamp