Opened 3 years ago
Closed 3 years ago
#27649 closed enhancement (fixed)
refresh the misc/pager file
Reported by: | chapoton | Owned by: | |
---|---|---|---|
Priority: | trivial | Milestone: | sage-8.8 |
Component: | misc | Keywords: | |
Cc: | tscrim, jmantysalo, vklein | Merged in: | |
Authors: | Frédéric Chapoton | Reviewers: | Travis Scrimshaw |
Report Upstream: | N/A | Work issues: | |
Branch: | 8fc9c99 (Commits, GitHub, GitLab) | Commit: | 8fc9c99596e6f130c773adf80fc987db2a3ddd29 |
Dependencies: | Stopgaps: |
Description
Change History (5)
comment:1 Changed 3 years ago by
- Branch set to u/chapoton/27649
- Commit set to 8fc9c99596e6f130c773adf80fc987db2a3ddd29
- Status changed from new to needs_review
comment:2 Changed 3 years ago by
- Summary changed from refresh the misc/page file to refresh the misc/pager file
comment:4 Changed 3 years ago by
- Reviewers set to Travis Scrimshaw
- Status changed from needs_review to positive_review
comment:5 Changed 3 years ago by
- Branch changed from u/chapoton/27649 to 8fc9c99596e6f130c773adf80fc987db2a3ddd29
- Resolution set to fixed
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
New commits:
refresh the pager file