On Fri, Jan 07, 2022 at 03:49:25PM +0100, Ján Tomko wrote: > On a Friday in 2022, Andrea Bolognani wrote: > > This eliminates the only .gif file in our repository. > > What are the advantages of such change, apart from unambiguous > pronunciation and bigger file size? How is the first thing you mentioned not a good enough justification on its own? :) I'm personally just mildly annoyed by this one file breaking what would otherwise be perfect consistency among image formats. I think Dan suggested[1] getting rid of it because of the patent-encumbered nature of the format. Note that I'm absolutely open to addressing the situation by simply axing the file, and I don't think anything of value would be lost if we did that :) [1] https://listman.redhat.com/archives/libvir-list/2022-January/msg00116.html -- Andrea Bolognani / Red Hat / Virtualization
