tags -help +patch severity 559447 minor thanks I tested test_extends_facility_2.tgz and I now confirm that replacing "extends all" with just "extends" in proj_ter.gpr fixes the problem. Downgading the severity of this bug to "minor" and replacing the tag "help" with "patch" as a workaround is available.
-- Ludovic Brenta. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
