wxMaxima 19.12.1 -> 19.12.2