Skip to content

Work around nightly breakage by re-allowing Julia.name := val from GAP#1006

Merged
fingolfin merged 2 commits intooscar-system:masterfrom lgoettgens:lg/setglobalJun 20, 2024

Commits