This is definitely true. Here’s a PR to change it:
(Twitter uses 繁體 instead of 正體, so I followed them.)
Is that all that needs to change @gerhard?
This is definitely true. Here’s a PR to change it:
(Twitter uses 繁體 instead of 正體, so I followed them.)
Is that all that needs to change @gerhard?