Synopsis: netbsd-INSTALL32_IP2x.ecoff is broken since NetBSD-4.0.1. State-Changed-From-To: pending-pullups->closed State-Changed-By: tsutsui%NetBSD.org@localhost State-Changed-When: Fri, 16 Nov 2018 15:29:15 +0000 State-Changed-Why: Pullups complete.