|
| 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? martin
| [Prev in Thread] | Current Thread | [Next in Thread] |