1 Feb
2024
1 Feb
'24
2:07 p.m.
On Wed Jan 31 20:38:14 2024 +0000, Jacek Caban wrote:
Why is it needed?
According to the tests, that's what happens on Windows. So I did it for correctness. Of course there's no difference for us because it's a semi stub, but if it ever gets fixed, there's one thing less to worry about.