A minor fix #2
Description
(format "patsopt -tc -d %s" file)))
Please change it to:
(format "patscc -tcats %s" file)))
There are two occurrences.
{{ message }}
(format "patsopt -tc -d %s" file)))
Please change it to:
(format "patscc -tcats %s" file)))
There are two occurrences.