Opened 6 years ago

Closed 6 years ago

#20486 closed enhancement (fixed)

Remove deprecated PARI code

Reported by: jdemeyer Owned by:
Priority: major Milestone: sage-7.3
Component: interfaces Keywords:
Cc: defeo Merged in:
Authors: Jeroen Demeyer Reviewers: Peter Bruin
Report Upstream: N/A Work issues:
Branch: 7a21ebb (Commits, GitHub, GitLab) Commit: 7a21ebbdeec0f5ada1c99ee2b23bef30356fac53
Dependencies: Stopgaps:

Status badges

Description (last modified by jdemeyer)

Remove code deprecated in #15767, #16997, #18203.

Change History (9)

comment:1 Changed 6 years ago by jdemeyer

  • Branch set to u/jdemeyer/remove_code_deprecated_in__16997

comment:2 Changed 6 years ago by jdemeyer

  • Commit set to 207c43f2fa72abe6e2d057f4fdf1457f696707ed
  • Status changed from new to needs_review

New commits:

207c43fRemove code deprecated in Trac #16997

comment:3 Changed 6 years ago by jdemeyer

  • Description modified (diff)
  • Status changed from needs_review to needs_work
  • Summary changed from Remove code deprecated in #16997 to Remove deprecated PARI code

comment:4 Changed 6 years ago by git

  • Commit changed from 207c43f2fa72abe6e2d057f4fdf1457f696707ed to 7a21ebbdeec0f5ada1c99ee2b23bef30356fac53

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

7a21ebbRemove code deprecated in Trac #15767, #16997, #18203

comment:5 Changed 6 years ago by jdemeyer

  • Status changed from needs_work to needs_review

comment:6 Changed 6 years ago by vdelecroix

EDIT: wrong ticket (sorry)

...

Last edited 6 years ago by vdelecroix (previous) (diff)

comment:7 Changed 6 years ago by jdemeyer

  • Milestone changed from sage-7.2 to sage-7.3

comment:8 Changed 6 years ago by pbruin

  • Reviewers set to Peter Bruin
  • Status changed from needs_review to positive_review

Looks good to me.

comment:9 Changed 6 years ago by vbraun

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