K 10 svn:author V 6 joneum K 8 svn:date V 27 2019-05-19T08:36:33.345670Z K 7 svn:log V 235 Update to 19.05.3 Changelog: https://github.com/wxMaxima-developers/wxmaxima/releases - While here, pet portlint PR: 237931 Submitted by: Lorenzo Salvadore (maintainer) Sponsored by: Netzkommune GmbH END