22 Nov
2020
22 Nov
'20
8:18 p.m.
For what it's worth, I can confirm that this fixes the bug I observed.