On Friday, 8 June 2018 at 13:35:36 UTC, gdelazzari wrote:
Hello everyone, I'm a new user of the language (I've been
playing around with it for some months) and I'm really liking
it.
[...]
I started this thread to have a discussion on this before
submitting any pull request (which, in the case of this change
being apprecciated, I'll happily take the time to make).
Thanks to anyone in advance,
Giacomo
While this look okay please in the initial PR don't forget to add
code to deactivate colors when DUB will be piped.
