Dirk replied to the topic 'Comet naming, C/2017...' in the forum. 4 years ago

Did you push it to master, I do not find it on GitHub....

Read More...