Hi Jakob,

> I am not sure, but I suspect that the easiest way to get this fixed in Ubuntu
> 12.04 is create a point release for,
> for instance replacing with or something, with a minimal
> fix which only fixes the dynamic loader issue.
> Now, I don't know the differences between and but in general
> maintainers are very conservative about changes, so as to not introduce
> unintended consequences.
> (But as I said in my previous email, the problem may not be even that, but
> rather that the bug was filed against the wrong package.)

Perhaps. I also don't understand the details well enough.

So let's wait a little if the upgrade will happen now as the bug is
finally confirmed.
UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe

Reply via email to