Subject: Re: [bug#31298] [PATCH 2/2] gnu: Add yubico-piv-tool.
From: Chris Marusich <[email-masked]>
To: [email-masked] (Ludovic Courtès)
Cc: [email-masked]
Date: Tue, 01 May 2018 22:49:40 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

[email-masked] (Ludovic Courtès) writes:

> I think you can omit the bit about the m4/ directory since it’s pretty
> much the same story in many packages.

That's true.  I've tidied up the comment and committed this as
ba8d8820fc823eff8e71ab3157e3728f67094373.

Thank you for the review!

-- 
Chris