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 3.0.8.10, > for instance replacing 3.0.8.10-1 with 3.0.8.10-2 or something, with a minimal > fix which only fixes the dynamic loader issue. > > > Now, I don't know the differences between 3.1.0.4 and 3.0.8.10 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