Merge pull request #36094 from ryantm/auto-update/wxmaxima-17.10.1-to-18.02.0
wxmaxima: 17.10.1 -> 18.02.0
authored by Peter Simons and committed by GitHub 8 years ago 09f18d3b 40adc861