wxMaxima 19.12.4 -> 20.01.1 wxMaxima 19.12.4 -> 20.01.2