|
| From: | Paul Eggert |
| Subject: | Re: [PATCH v3] new option: object-shortname |
| Date: | Fri, 9 Sep 2016 01:54:52 -0700 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 |
Thomas Martitz wrote:
I thought you'd review and merge.
It might be me at some point. Just not today, I'm afraid.
| [Prev in Thread] | Current Thread | [Next in Thread] |