https://d.puremagic.com/issues/show_bug.cgi?id=4909
Andrei Alexandrescu <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |RESOLVED Resolution| |FIXED --- Comment #14 from Andrei Alexandrescu <[email protected]> 2014-01-25 15:54:14 PST --- (In reply to comment #13) > (In reply to comment #12) > > (In reply to comment #11) > > > Won't change the name, sorry. > > > > Let's discuss first! > > The current name is terrible, it's hard to write, hard to remember, and there > are several better alternatives. I suggest to introduce an alias name, and and > then deprecate the current name. You've been discussing this since literally years ago. If that serves anyone, it might have helped you to learn the name :o). We won't change names without very good reasons. Unless there are new points and arguments to it, I suggest we just put an end to this. (Also please don't play the fixed/reopened game.) -- Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
