wxMaxima 19.12.1 -> 19.12.2
wxMaxima 19.12.1 -> 19.12.3
wxMaxima 19.12.1 -> 19.12.4