chiark / gitweb /
Optimize creation of orig.tar.gz a bit