(FILECREATED "10-Jul-87 20:19:14" {QV}<NOTECARDS>1.3KNEXT>POSTRELEASEPATCHES.;1 504 previous date: "24-Feb-87 16:23:46" {QV}<NOTECARDS>1.3K>NEXT>POSTRELEASEPATCHES.;2) (* Copyright (c) 1986, 1987 by Xerox Corporation. All rights reserved.) (PRETTYCOMPRINT POSTRELEASEPATCHESCOMS) (RPAQQ POSTRELEASEPATCHESCOMS ((FILES (FROM NOTECARDSNEXT)) (FNS))) (FILESLOAD (FROM NOTECARDSNEXT)) (PUTPROPS POSTRELEASEPATCHES COPYRIGHT ("Xerox Corporation" 1986 1987)) (DECLARE: DONTCOPY (FILEMAP (NIL))) STOP