-
-
Notifications
You must be signed in to change notification settings - Fork 673
Closed
Milestone
Description
Upgrade to planarity 3.0.1.0, in particular to avoid patching, which is flaky as the patch file has mixed CR and CRLF endings, leading to breakdown of GitLab runner.
CC: @mkoeppe @dimpase @tobiasdiez
Component: packages: standard
Keywords: upgrade, planarity
Author: Frédéric Chapoton
Branch/Commit: 0f22e39
Reviewer: Dima Pasechnik
Issue created by migration from https://trac.sagemath.org/ticket/30874