Hi Devrim,
On Mon, 28 Jun 2021 at 21:49, Devrim Gündüz <devrim@gunduz.org> wrote:
> You folks also should talk to the RPM and deb packagers before making
> the final decision ;)
>
> RPM packager speaking: This change does not seem to hurt us.
Thank you, good call.
Package-wise, is there anything else we might do upstream to help you
there? I will ask the deb maintainers too.
-- Daniele