Update of bug #12416 (project relax): Status: None => Fixed Open/Closed: Open => Closed _______________________________________________________ Follow-up Comment #1: This bug was fixed at r7538. _______________________________________________________ Reply to this item at: <http://gna.org/bugs/?12416> _______________________________________________ Message sent via/by Gna! http://gna.org/