wxMaxima 19.07.0 -> 19.08.0
wxMaxima 19.07.0 -> 19.08.1
wxMaxima 19.07.0 -> 19.09.0
wxMaxima 19.07.0 -> 19.09.1