Back to bug 239689

Who When What Removed Added
salvadore 2019-08-07 09:08:18 UTC Attachment #206325 Flags maintainer-approval+
kai 2019-08-07 09:08:58 UTC Status New Open
CC kai
Assignee ports-bugs kai
kai 2019-08-09 07:43:35 UTC URL https://github.com/wxMaxima-developers/wxmaxima/releases/tag/Version-19.07.0
Flags merge-quarterly?
Status Open In Progress
kai 2019-08-09 11:27:36 UTC Flags merge-quarterly? merge-quarterly+
kai 2019-08-09 11:27:59 UTC Resolution --- FIXED
Status In Progress Closed

Back to bug 239689