orocos bugzilla down


due to electricity tests tomorrow morning in the building where the
orocos bugzilla server resides, there will be no power for the server,
and consequently no orocos bugzilla available. I will program the
server to shutdown at 04.00 AM tomorrow, and if all goes well it will
be back online by 10.00 AM. So write down the bugs you find tonight
on a tiny piece of paper or mail them massively to Peter :-)