20 Nov
2023
20 Nov
'23
6:02 a.m.
I see now that my original patch comment was also rather misleading, implying that we were working around bugs that should be fixed a proper way, which isn't really the case. I've reworded the commit message to explain better now.