On Monday, 21 May 2018 at 19:51:38 UTC, Andrei Alexandrescu wrote:
Hi folks, it looks like at least a few branches of this thread have run well past their useful course and into tedious territory.We don't like to go about killing threads, so we kindly ask that you all refrain from posting in this thread going forward.Thanks much! Andrei
wtf!That's the whole reason Dave got involved in this discussion - to kill it off.
You've just empowered people like Dave. Well done Andrei.
