Opened 6 years ago

Closed 6 years ago

#19977 closed enhancement (fixed)

promote csdp to optional

Reported by: dimpase Owned by:
Priority: major Milestone: sage-7.2
Component: packages: optional Keywords:
Cc: ncohen, was, vbraun, mkoeppe Merged in:
Authors: Dima Pasechnik Reviewers: Matthias Koeppe
Report Upstream: N/A Work issues:
Branch: c53aeb8 (Commits, GitHub, GitLab) Commit: c53aeb800c337f86c5ef374ceb58a578c69d2b33
Dependencies: Stopgaps:

Status badges

Description

promote csdp to optional; it is currently experimental.

Please see ​https://groups.google.com/d/msg/sage-devel/e-1LLPmKf-4/ZOoy8S-xBQAJ

and

​comment 59 by was

Change History (4)

comment:1 Changed 6 years ago by dimpase

  • Authors set to Dima Pasechnik
  • Branch set to u/dimpase/csdppromo
  • Cc ncohen was vbraun added
  • Commit set to c53aeb800c337f86c5ef374ceb58a578c69d2b33
  • Status changed from new to needs_review

New commits:

​c53aeb8made in optional

comment:2 Changed 6 years ago by dimpase

  • Cc mkoeppe added
  • Milestone changed from sage-7.1 to sage-7.2

ping?

comment:3 Changed 6 years ago by mkoeppe

  • Reviewers set to Matthias Koeppe
  • Status changed from needs_review to positive_review

Apparently there were no objections to making it optional when this was discussed on the mailing list, so I'm marking this as positive review.

comment:4 Changed 6 years ago by vbraun

  • Branch changed from u/dimpase/csdppromo to c53aeb800c337f86c5ef374ceb58a578c69d2b33
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.