wxMaxima version: 20.02.4

Release date: Feb. 24, 2020