Eric R. Smith (ersmith@netcom.com) writes: >If you have mint112* already and would like to upload them to atari.archive, >then please do so! (And let me know that you've done it :-)). I have just done so. Expect it in Newitems/ soon. -sbigham