Re: Fix help option of contrib/oid2name

Hi Laurenz and Michael,

On 2018/08/16 20:57, Michael Paquier wrote:
> On Thu, Aug 16, 2018 at 12:40:42PM +0200, Laurenz Albe wrote:
>> I don't think it is super important, but +1 for consistency.

Thanks! :)

> I agree on both points.  Any objections if I apply what's proposed here
> on HEAD?

I have no objection. The patch is for improvement, not bug fix.
But if you think it needs back-patch, please let me know, I can create it.


Thank you for taking your time!

Regards,
Tatsuro Yamada
NTT Open Source Software Center