March 3, 2020
1:06 p.m.
Hi Sven, I'm attaching a diff to be applied on top of this patch. Does it look okay to you? In particular I'm interested if you have more tests not yet upstream.