On Thursday, 25 June 2015 at 19:55:41 UTC, Steven Schveighoffer wrote:
Yeah, I agree for existing names, but these are unreleased new names.

I thought the idea was to use this trick to avoid introducing the new names, and instead change the established names in a mostly-backwards-compatible way.

Reply via email to