wxMaxima 19.07.0 -> 19.08.0 wxMaxima 19.07.0 -> 19.08.1