id summary reporter owner description type status priority milestone component version resolution keywords cc port 16020 wxMaxima update 0.7.3a -> 0.7.5 usami-k@… jmroot "New upstream release : wxMaxima 0.7.5 This update fix #16003 " update closed Normal ports 1.6.0 fixed