4 Nov
2023
4 Nov
'23
3:15 p.m.
On Sat Nov 4 14:58:36 2023 +0000, Fabian Maurer wrote:
Any news regarding this?
This now will produce different return value for out == NULL vs out != NULL, this does not look right.