On Fri, Nov 02, 2018 at 10:44:33AM +0100, Stefan Sperling wrote: > I confirm that your patch is correct. I mis-indented these blocks.
Great, thank you for checking, Stefan. Committed in r1845559.
On Fri, Nov 02, 2018 at 10:44:33AM +0100, Stefan Sperling wrote: > I confirm that your patch is correct. I mis-indented these blocks.
Great, thank you for checking, Stefan. Committed in r1845559.