wxMaxima version: 18.11.3

Release date: Nov. 24, 2018