The Error bug - #162 - new editors' draft needed, or what?

Ref annevk's comment "I don't see how this was addressed"....

Is the problem that he doesn't see the fix in the editors' draft (which
means we need to release one), or that he doesn't see how the
redefinition addresses the issue he raised?

Harald

Received on Wednesday, 19 August 2015 11:17:16 UTC