Le 2016-06-16 00:28, Jaromír Mikeš a écrit :
Done in our git repo ... will be fixed with next upload. mira
Sweet. Thanks for that.FYI, I've been reporting it upstream (github) as well. I don't know if you're using it or know but now, you know.
olivier