On 7/9/23 3:48 PM, Arthur A. Gleckler wrote:
Is this better than adding an erratum and changing the signature?

I vote for adding an erratum and changing the signature.

Reply via email to