[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: To Tramp or not to Tramp

From: martin rudalics
Subject: Re: To Tramp or not to Tramp
Date: Thu, 26 Oct 2017 09:56:04 +0200

> 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.

I do not recall a similar discussion about "Bash".  Does anyone?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]