Aug. 19, 2020
2:56 p.m.
Sorry for the late reply, but I was a bit interested in this patch (which doesn't seem to have gone anywhere yet?). I think this should also fix bug 38668.