#48530: ACL2 fails to build ----------------------------+-------------------------------- Reporter: watsonbladd@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: | Keywords: Port: acl2 | ----------------------------+-------------------------------- Changes (by ionic@…): * cc: nomaintainer@… (removed) Comment: `nomaintainer` and `openmaintainer` are pseudo addresses. It's good that you tried CC'ing the maintainer(s), but please never CC these. -- Ticket URL: <https://trac.macports.org/ticket/48530#comment:1> MacPorts <https://www.macports.org/> Ports system for OS X