[hudson] Hudson restarted

[Jukka Zitting]

Hi,

Hudson was having trouble, so I restarted it. Things should be back to
normal soon.

BR,

Jukka Zitting