ECOOP 2021-2025 redux: fix unicode #91

msridhar merged 2 commits intopcminer-tools:masterpcminer-tools/pcminer:masterfrom

ulysses4ever:robbert/ecoopulysses4ever/pcminer:robbert/ecoopCopy head branch name to clipboard