Merge pull request #1872 from c22/patch-1

Move Polar to its own dot point
This commit is contained in:
nodiscc 2019-11-03 13:23:24 +00:00 committed by GitHub
commit cc66cdb859
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23