Re: [PATCH v3] new option: object-shortname

2016-09-09 Thread Paul Eggert
Thomas Martitz wrote: I thought you'd review and merge. It might be me at some point. Just not today, I'm afraid.

Re: [PATCH v3] new option: object-shortname

2016-09-09 Thread Thomas Martitz
Am 09.09.2016 um 09:14 schrieb Paul Eggert: Thomas Martitz wrote: Please tell me if there's anything left for me to do? Not that I know of; someone needs to free up enough cycles to review it, that's all. Oh. I thought you'd review and merge. Who else can do it? Everyone else is inactive

Re: [PATCH v3] new option: object-shortname

2016-09-09 Thread Paul Eggert
Thomas Martitz wrote: Please tell me if there's anything left for me to do? Not that I know of; someone needs to free up enough cycles to review it, that's all.