Should we remove int[$] before 2.067?

[eles via Digitalmars-d]

On Sunday, 1 February 2015 at 16:09:24 UTC, eles wrote:
> On Sunday, 1 February 2015 at 15:31:29 UTC, Andrei Alexandrescu 
> wrote:
>> On 2/1/15 1:54 AM, eles wrote:
>>> On Sunday, 1 February 2015 at 09:46:45 UTC, eles wrote:
>
>
>> I know it's impossible to please everyone and I'm not sure how
>
> But that everyone is many. Have a look, please, at the comments 
> made on github for exactly that pull request. Almost all 
> involved seemed to be happy with it (Hara, Andrej, Martin --

+ bearophile