Subject: bug#45806: 26.3; `menu-bar-separator'

From: Drew Adams <[email-masked]>
Date: Tue, 12 Jan 2021 10:09:08 -0800 (PST)

> > > Sorry, this name is with us for too long to rename it now.
> >
> > Not a great reason not to rename and alias.

IMHO.

> Why am I not surprised that you don't accept the judgment of the
> project maintainers?

Why am I not surprised that you are personally
hostile, and interpret an opinion as non-acceptance
of a decision?

Can we not politely agree to disagree about what
should be done, without your going off again on
your claims of insubordination?