On Sunday, 15 January 2023 10:03:19 GMT Nuno Silva wrote: > From a quick look (I might have overlooked something), it sounds like it > has to be manually uninstalled beforehand (so, precisely what you did > > :-) ). > > https://bugs.gentoo.org/show_bug.cgi?id=834503
Thanks Nuno. Interesting bug, too. -- Regards, Peter.
