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.
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.