On Wed, Oct 25, 2017, 3:19 AM Michael Albinus <michael.albinus@gmx.de>
wrote:

> Richard Stallman <rms@gnu.org> writes:
>
> Hi Richard,
>
> > Every time I see "Tramp", what enters into my mind is "Trump".
> > I may not be the only one who reacts this way.
> > Might we want to change its name?
>
> Being the Tramp maintainer, I'm opposed to this. I do not want to let
> whomever dictate what we do, being the POTUS or not.
>

+1

> --

Kaushal Modi