Hi, On Fri, Feb 14, 2025 at 08:42:59AM +0100, Andreas Tille wrote: > this is another ping about a decision what to do with psicode. Please > simply state whether it is worth fixing #1075399 of the current version > in Debian and I might spent some time into it. I simply want to know > whether it is worth keeping or whether its more sensible to remove it > and my time would be wasted.
I came to the conclusion that it is not worth spending time on and agree that psicode should be rmoved. Michael