This repository has been archived on 2017-04-03. You can view files and clone it, but cannot push or open issues/pull-requests.
|
Apologies to recent commenters
|
|
<p>Due to a fat-finger error on my part, the comments for several posts back were deleted a few minutes ago. Apologies to all commenters; those threads were of rather high quality and I’m sorry to lose them.</p>
|