|
From: | Philippe Vaucher |
Subject: | Re: Emacs-diffs Digest, Vol 175, Issue 8 |
Date: | Thu, 1 Jun 2017 17:37:11 +0200 |
Is this renaming really necessary? If it isn't, I'd prefer not to
rename, as doing so makes digging into history harder.
[Prev in Thread] | Current Thread | [Next in Thread] |