On Wed, Apr 26, 2023 at 10:49:32AM +0000, Robert Ernst wrote: > Hello Bill, > > thank you for the swift reply! > > Excuse me if I do err, but even after consulting others, this bug seems to > be open. > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1013195 > > And from an uninitiated perspective it seems like the policy team never > looked at this bug. > So the best solution for this specific bug would be to leave a comment with > a hint to the history and then close it?
This bug is duplicate of https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=884223 Cheers, Bill.
