Merge pull request #85 from wz1000/master
authorLuke Lau <luke_lau@icloud.com>
Wed, 3 Feb 2021 17:53:59 +0000 (17:53 +0000)
committerGitHub <noreply@github.com>
Wed, 3 Feb 2021 17:53:59 +0000 (17:53 +0000)
use Text instead of String


Trivial merge