On 11/9/17 6:29 AM, Christian Corti via cctalk wrote:

> @Al: you may push it to bitsavers

done

Reply via email to