On Mon, 3 Feb 2020 10:20:46 +0000 (GMT), Maciej W. Rozycki wrote: > Right, the code is good as it stands (I should have more faith in my past > achievements ;) ). Except for the whitespace issue, which I suppose might > not be worth bothering to fix. Thanks for your meticulousness! For the white space clean up please resend after the merge window (if you care), networking trees are only taking fixes fixes now :)
