Le 07 septembre 2018 à 12h24, Emmanuel Fleury disait : > Hi all, > > I just reported this bug to the rubber dev-team. Waiting for the next > bug-fix, I suggested the following fix: […]
This patch does indeed solve my problem, namely #907937, thanks! But #907988 is unfortunately more general: there are other file readings done assuming the locale encoding. Best regards, Samuel