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

Reply via email to