<div dir="ltr">Hey, <div><br></div><div>I'm going to be discontinuing the server that <a href="http://mirrors.gpmidi.net">mirrors.gpmidi.net</a> 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. </div><div><br></div><div>-Paulson McIntyre</div></div>