the previous update to the geda port (20010304 to 20010722 has not been committed yet (see Problem Report ports/31841, still open). Therefore this fix is a patch to 20010304. PR ports/31841 should be ignored and this one applied. How-To-Repeat: N/A
State Changed From-To: open->closed committed, thanks