chiark / gitweb /
Fix occasional 'min fragment 1.11022e-16' glitch.