I think we could merge https://savannah.gnu.org/patch/?9746 into memory.m But I have no windoze to test it so I just leave this as a reminder.
I think we could merge https://savannah.gnu.org/patch/?9746 into memory.m
But I have no windoze to test it so I just leave this as a reminder.