On 2023-05-12 Ansgar <ans...@43-1.org> wrote: [...] > The core issue as I see it is as follows: [...] > Do you think this summary of the issue is right?
I think Simon's reading of the situation as posted in https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1035904#30 makes a lot of sense. cu Andreas -- `What a good friend you are to him, Dr. Maturin. His other friends are so grateful to you.' `I sew his ears on from time to time, sure'
