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