Hi Chris,

On Mon, Jun 22, 2020 at 12:45 AM Chris Lamb <la...@debian.org> wrote:
>
> Up to you.

In commit 1b9e1048, I went with option #2.

Kind regards
Felix Lechner

Reply via email to