Subject: bug#41276: [PATCH 0/9] Various small improvements to EasyPG

From: Jonas Bernoulli <[email-masked]>
Date: Thu, 06 Aug 2020 09:22:31 +0200

Lars Ingebrigtsen <[email-masked]> writes:

> Looking at "git log", it seems that many of these patches were applied,
> but I can't tell if there's any that weren't.  Is there anything further
> to be done in this bug report, or can it be closed?

This can be closed.

I took out one commit, but re-submitted it in another series.