wxMaxima version: 19.05.5

Release date: May 23, 2019