I made a patch witch has been merged this morning with the main branch. So I think this one may be closed now?
I made a patch witch has been merged this morning with the main branch. So I think this one may be closed now?