Back to bug 239716

Who When What Removed Added
salvadore 2019-08-08 12:58:25 UTC Attachment #206367 Flags maintainer-approval+
kai 2019-08-08 13:17:57 UTC CC kai
Assignee ports-bugs kai
Status New Open
kai 2019-08-10 14:57:31 UTC Flags merge-quarterly?
URL https://github.com/Normaliz/Normaliz/releases/tag/v3.7.4
Status Open In Progress
kai 2019-09-30 13:21:08 UTC Flags merge-quarterly? merge-quarterly-
Resolution --- FIXED
Status In Progress Closed

Back to bug 239716