wxMaxima version: 19.01.3

Release date: Jan. 29, 2019