Thank you for the patch!
I'm a bit worried that the global locale.setlocale() call may have unintended consequences somewhere; I'll try to do some testing to make sure it's ok.
Thank you for the patch!
I'm a bit worried that the global locale.setlocale() call may have unintended consequences somewhere; I'll try to do some testing to make sure it's ok.