On 03/10/2020 08:45 AM, Pavel Rappo wrote:
The replies are inline.
On 10 Mar 2020, at 02:11, Jonathan Gibbons<[email protected]> wrote:
Meta comment:
This review is getting out of hand; I think it was a mistake for me to have
ordered my comments according to your phases, and I apologize; I won't do it
again.
Sorry about that.
The following is from a clean read of webrev.02, trying to take the
latest comments into account.
... no significant comments ... approved.
I see evidence of stuff, that we have also discussed offline, of where
stuff "could be better" -- but not in this round of work.
So, thanks for this and for the review iterations. Good work.
-- Jon
