server maintainance, bugzilla down

Since the hard disk of the machine running the orocos bugzilla
suffered from a couple of near death experiences this week, I will
transfer the orocos bugzilla to another machine today. Expect
downtime from 10.00h to 16.00h.

Please send complaints about the short notice to dev_hda [..] ...

best regards,

Klaas