Bug/12#13

Merged

PingIsFun merged 2 commits intomainfrom

Mar 22, 2022

Commits on Mar 22, 2022

Fixed issue 12. Not fully tested yet.
PingIsFun
committed
Fixed some typos in the comments
PingIsFun
committed