diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-23 21:55:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-23 21:55:07 +0200 |
| commit | f5091681b4d76617ff2f0bcd9f0d795c4d02c985 (patch) | |
| tree | d3550f4d1cdfca27c364bb24dd514911ade35b30 | |
| parent | f4c17da6f5609aac353d166d2b7d7b98a5934aba (diff) | |
| parent | 2407562366213b16f1242ab997827a9e45c76a25 (diff) | |
Merge pull request #40639 from KoBeWi/fix_emoji🎉🎉
Fix emoji branch compilation error
| -rw-r--r-- | methods.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/methods.py b/methods.py index 7b853b7821..65a460f63d 100644 --- a/methods.py +++ b/methods.py @@ -92,7 +92,7 @@ def update_version(module_version_string=""): gitfolder = module_folder[8:] if os.path.isfile(os.path.join(gitfolder, "HEAD")): - head = open(os.path.join(gitfolder, "HEAD"), "r").readline().strip() + head = open(os.path.join(gitfolder, "HEAD"), "r", encoding="utf8").readline().strip() if head.startswith("ref: "): head = os.path.join(gitfolder, head[5:]) if os.path.isfile(head): |