On 01/11/2018 14:30, David Rowley wrote:
On 1 November 2018 at 13:35, Amit Langote <langote_amit...@lab.ntt.co.jp> wrote:
On 2018/11/01 8:58, David Rowley wrote:
[...]
I agree. I don't think "TupRouting" really needs to be in the name.
Probably "To" can also just become "2" and we can put back the
Parent/Child before that.
Agree that "TupRouting" can go, but "To" is not too long for using "2"
instead of it.
I think that while '2' may only be one character less than 'to', the
character '2' stands out more. However, can't say I could claim this
was of the utmost importance!
Okay. Here's a version with "2" put back to "To"...
[...]
