27 Jan
2023
27 Jan
'23
7:18 p.m.
On Sun Jan 22 23:00:47 2023 +0000, Thomas Csovcsity wrote:
I can do so but then i have to care about the wchar string termination by hand, i am unsure if this is really what we want.
I think manually terminating strings is preferable, yes.