Re: [arch-dev-public] Moving repos to nymeria - possibly some interruption of service

1 Jun 2016


      Signing my message. Also, of course the topic is wrong. We're moving
FROM nymeria TO orion.

Sven

Sven-Hendrik Haase