Hey, I'm going to be discontinuing the server that mirrors.gpmidi.net is hosted on in the next few weeks. How long should I leave it up once it's removed from rotation? I'm not in a huge rush; a week or two is fine. -Paulson McIntyre -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.centos.org/pipermail/centos-mirror/attachments/20180814/0c744719/attachment-0005.html>