[Minion-general] Minion SVN broken

[Chris J. <ch...@bu...>]

Hello,

Many apologises, but the Sourceforge Minion SVN server is currently
broken (in fact, empty). It should be back some time later today.
Apologises for any inconvinence!

Chris