chiark / gitweb /
Updated version number to 12.12, fixed some minor packaging issues.