Opened 7 years ago
Closed 7 years ago
#17856 closed enhancement (fixed)
Wrong ticket number mentioned for a doctest
Reported by: | Snark | Owned by: | |
---|---|---|---|
Priority: | trivial | Milestone: | sage-6.6 |
Component: | documentation | Keywords: | |
Cc: | Merged in: | ||
Authors: | Julien Puydt | Reviewers: | Jeroen Demeyer, Frédéric Chapoton |
Report Upstream: | N/A | Work issues: | |
Branch: | b10930a (Commits, GitHub, GitLab) | Commit: | b10930a20bb0f90ca3dfd688d81687fdc6c67d0b |
Dependencies: | Stopgaps: |
Description (last modified by )
Done, thanks
Change History (6)
comment:1 Changed 7 years ago by
- Branch set to u/Snark/wrong_ticket_number_mentioned_for_a_doctest
comment:2 Changed 7 years ago by
- Commit set to b10930a20bb0f90ca3dfd688d81687fdc6c67d0b
comment:3 Changed 7 years ago by
- Component changed from PLEASE CHANGE to documentation
- Reviewers set to Jeroen Demeyer
- Type changed from PLEASE CHANGE to enhancement
If you add an Author name, you can set this to positive_review.
comment:4 Changed 7 years ago by
- Description modified (diff)
- Priority changed from major to trivial
- Status changed from new to needs_review
comment:5 Changed 7 years ago by
- Reviewers changed from Jeroen Demeyer to Jeroen Demeyer, Frédéric Chapoton
- Status changed from needs_review to positive_review
comment:6 Changed 7 years ago by
- Branch changed from u/Snark/wrong_ticket_number_mentioned_for_a_doctest to b10930a20bb0f90ca3dfd688d81687fdc6c67d0b
- Resolution set to fixed
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
Branch pushed to git repo; I updated commit sha1. New commits:
The wrong ticket number was documented