Re: DEP-14: renaming master to main?
On 2020-06-23 02:12, Colin Watson wrote:
> On Tue, Jun 23, 2020 at 01:10:31AM +0200, Ansgar wrote:
>> On Mon, 2020-06-22 at 22:13 +0100, Colin Watson wrote:
>>> [1] https://mail.gnome.org/archives/desktop-devel-list/2019-May/msg00066.html
>>
>> You might be interested in [2] as well. Speculation is often wrong.
>>
>> [2]: https://mail.gnome.org/archives/desktop-devel-list/2020-June/msg00023.html
>
> Good to know, but I think it doesn't really change my conclusions.
Could you expand on that? I interpreted your conclusions to be
necessitated by what was written in the first mail.
If it's not, then it's just about utility, and then honestly I don't see
enough of it to merit the head-ache of breaking with the conventional name.
Reply to: