1695cd958d
Changes: https://github.com/wxMaxima-developers/wxmaxima/compare/Version-23.02.0...Version-23.02.1
Changes: https://github.com/wxMaxima-developers/wxmaxima/compare/Version-23.02.0...Version-23.02.1