> Ehem... I've uploaded it to proposed-updates on tuesday from 2am - 5am > in order to get it into stable. It's just missing from my current > list since it is based on an older index file.
OK, sorry, I already saw it there but wanted to make sure it gets in, since existence in proposed-updates is clearly _not_ sufficient. Thanks, Wolfram.
