Subject: [sidr] rpki.net toolkit has moved to GitHub

From: Rob Austein <[email-masked]>
Date: Tue, 09 Aug 2016 14:25:21 -0400

The rpki.net toolkit (or whatever you want to call the RPKI code we've
been developing for the last decade) has moved to GitHub.

For details, see:

  https://lists.rpki.net/archives/rpki/2016-August/000300.html