chiark / gitweb /
Release 5.2.
[disorder] / common /
2016-01-22 Mark WoodingFix `distcheck' complaints.