Re: Mars Drafting Library - Official community driven library

[Vladimir Panteleev via Digitalmars-d]

On Saturday, 31 January 2015 at 14:06:20 UTC, Piotrek wrote:
and named "Mars" (Deimos is unfortunately already taken ).

BTW, Mars is the name of the language, before people started 
calling it D (which stuck).