Re: What's the difference between DIP25 and DIP1000?

[Emmanuelle via Digitalmars-d-learn]

On Tuesday, 18 June 2019 at 21:57:32 UTC, Jonathan M Davis wrote:

-snip-

Thank you, it's clear to me now :)