On Tue, Apr 13, 2021 at 06:39:26AM +0200, Bastian Blank wrote:
> Where was that discussed?

It was discussed in
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=947759
, with responses from both Ben and Noah.

Reply via email to