-
-
Notifications
You must be signed in to change notification settings - Fork 657
Closed
Milestone
Description
split out from #32432.
CC: @kliem
Component: refactoring
Author: Matthias Koeppe, Jonathan Kliem
Branch/Commit: 92d88c0
Reviewer: Jonathan Kliem, Matthias Koeppe
Issue created by migration from https://trac.sagemath.org/ticket/32870