> It depends on the relative size of the change and the importance of
the issue.It's a judgement call then, right? And reasonable people may disagree. But surely given the size of the PR size is not the issue. And several folks say it's important. _______________________________________________ TLS mailing list [email protected] https://www.ietf.org/mailman/listinfo/tls
