Commit ad87155fd000aa05b5c6bf09c5a3ffbda658d60c

Ebrahim Byagowi 2020-05-29T00:11:19

minor, use py3's open(encoding=)