On 29/11/2019 13:36, Abdur-Rahmaan Janhangeer wrote:
= Chris Angelico -1 on renaming. -1 on deprecating. -1 on creating an unnecessary alias.
Maybe if the change's a breaking one, we might wait for a breaking event to sneak this one in.
Or we could accept that it is what it is. I'm with Chris: -1 on making life complicated.