Subject: Re: bug#35258: Acknowledgement ([PATCH] gnu: Add aptdec.)

From: Arun Isaac <[email-masked]>
Date: Fri, 12 Jul 2019 22:53:12 +0530

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