chiark / gitweb /
[PATCH] get 'make release' to work properly again.