Subject: Re: bug#35258: Acknowledgement ([PATCH] gnu: Add aptdec.)
From: Arun Isaac <[email-masked]>
To: [email-masked]
Date: Fri, 12 Jul 2019 22:53:12 +0530
List-Id: <debbugs-submit.debbugs.gnu.org>

I've pushed this patch to master, since it's been more than two weeks
and I'm confident of its correctness.