Quentin Rameau Sun, 25 Aug 2019 12:46:23 -0700
> I've pushed your original patch (with some comment-tweaking). > It seems unlikely to break anything.
Thanks!