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

[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.