Address #775: Really make `char` in python a `str`#781

Closed

arjo129 wants to merge 5 commits intorollingfrom arjo/fix/char_def

+32-32

Commits on Jan 4, 2024

Address #775 : Really make char in python a str
arjo129
committed

Commits on Jan 17, 2024