On Sunday, 14 September 2014 at 11:52:29 UTC, David Nadlinger wrote:
> On Sunday, 14 September 2014 at 04:26:30 UTC, Andrei Alexandrescu wrote:
>> On 9/13/14, 8:43 PM, Manu via Digitalmars-d wrote:
>>> I agree. It should be the default in all cases, as unanimously agreed by
>>> this community, and overruled by Andrei post-implementation.
>>
>> There was no unanimity. -- Andrei
>
> Yep, there most definitely wasn't.
>
> David

Correct me if I'm wrong, but I remember that there was unanimity that it *was* a better design decision. Changing the existing behavior, however, was what we were not unanimous about.