Closed xhwang-chromium closed 4 years ago
Fixes #470
Preview | Diff
Merged as a6d383032227fea2717e90d394e62e77efe4b0d4. Not sure why GitHub didn't mark the PR as merged, though. I must have flubbed something on the command line.
Thanks for the PR!
Fixes #470
Preview | Diff