[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Nano-devel] [PATCH] browser: replace newpath by path and present_pa
|
From: |
Benno Schulenberg |
|
Subject: |
Re: [Nano-devel] [PATCH] browser: replace newpath by path and present_path |
|
Date: |
Wed, 13 Jul 2016 14:53:25 +0200 |
On Wed, Jul 13, 2016, at 12:11, Rishabh Dave wrote:
> I hope I am correct when I do this: [...]
Hope shouldn't enter into the matter; you should be certain. :)
Anyway, patch was pushed, with a small tweak of a comment.
Thanks.
> I was going to change the subject in patch to "browser: elide variable
> newpath with path" to make clear that newpath is a /variable/ being
> replaced. But we use elide often to mean omit, not merge. [...]
Elide means "make something go away", which can also be done
by letting other things take over its function. So I have
used "elide" anyway in the commit message.
Benno
--
http://www.fastmail.com - A no graphics, no pop-ups email service