Comment 99 for bug 272316

Dear Federico,

looks like the update didn't made it to the public servers so far.
Is there anything what can be done from outside?

Pete