25 Sep
2020
25 Sep
'20
4:21 p.m.
On 9/25/20 12:07 PM, John Paul Adrian Glaubitz wrote:
Has there already been any progress on reviewing this?
It has already been merged, and the maintainers have been so kind as to backport it to all maintained stable branches.
Thanks for your help, everyone!
Max