On Wed, 02 Dec 2020, Raphael Hertzog wrote: > > potentially different content, breaking the important design principle > > that things that are different should have different names. [...] > And as an aside, the archive has big holes when enforcing this "design > principle": > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=876643 > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=620356 > It would be nice to have this fixed.
I knem I missed one, there's this one too which caught me: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=949962 Cheers, -- ⢀⣴⠾⠻⢶⣦⠀ Raphaël Hertzog <hert...@debian.org> ⣾⠁⢠⠒⠀⣿⡁ ⢿⡄⠘⠷⠚⠋ The Debian Handbook: https://debian-handbook.info/get/ ⠈⠳⣄⠀⠀⠀⠀ Debian Long Term Support: https://deb.li/LTS
