Opened 6 years ago

Closed 6 years ago

#17917 closed enhancement (fixed)

Add missing Dokchitser file

Reported by: jdemeyer Owned by:
Priority: blocker Milestone: sage-6.6
Component: scripts Keywords:
Cc: Merged in:
Authors: Jeroen Demeyer Reviewers: Frédéric Chapoton
Report Upstream: N/A Work issues:
Branch: bb6ed04 (Commits, GitHub, GitLab) Commit: bb6ed0435e7fd4d065e42e4c77d0228b0dcaeb6a
Dependencies: Stopgaps:

Status badges


One example file from Dokchitser's scripts was mistakenly not added in #16997.

Change History (4)

comment:1 Changed 6 years ago by jdemeyer

  • Branch set to u/jdemeyer/add_missing_dokchitser_file

comment:2 Changed 6 years ago by jdemeyer

  • Commit set to bb6ed0435e7fd4d065e42e4c77d0228b0dcaeb6a
  • Status changed from new to needs_review

New commits:

bb6ed04Add ex-tau2 from Dokchitser's gp scripts

comment:3 Changed 6 years ago by chapoton

  • Reviewers set to Frédéric Chapoton
  • Status changed from needs_review to positive_review

comment:4 Changed 6 years ago by vbraun

  • Branch changed from u/jdemeyer/add_missing_dokchitser_file to bb6ed0435e7fd4d065e42e4c77d0228b0dcaeb6a
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.