On 31 January 2016 at 12:47, Gavin Smith <[email protected]> wrote: > Please send any comments to [email protected].
I've found and removed one error where extra space could occur in the text of a cross-reference (and possibly elsewhere as well) when processing with TeX.
