Opened 2 years ago
Closed 2 years ago
#28411 closed enhancement (fixed)
refresh the prompt in the installation guide
| Reported by: | chapoton | Owned by: | |
|---|---|---|---|
| Priority: | trivial | Milestone: | sage-8.9 |
| Component: | documentation | Keywords: | |
| Cc: | tscrim, jmantysalo | Merged in: | |
| Authors: | Frédéric Chapoton | Reviewers: | Jori Mäntysalo |
| Report Upstream: | N/A | Work issues: | |
| Branch: | 7f922c1 (Commits, GitHub, GitLab) | Commit: | 7f922c1fc298e3d5560cf1c509e405f3dc618644 |
| Dependencies: | Stopgaps: |
Status badges
Description
Change History (3)
comment:1 Changed 2 years ago by
- Branch set to u/chapoton/28411
- Commit set to 7f922c1fc298e3d5560cf1c509e405f3dc618644
- Status changed from new to needs_review
comment:2 Changed 2 years ago by
- Reviewers set to Jori Mäntysalo
- Status changed from needs_review to positive_review
LGTM.
comment:3 Changed 2 years ago by
- Branch changed from u/chapoton/28411 to 7f922c1fc298e3d5560cf1c509e405f3dc618644
- Resolution set to fixed
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
New commits:
refresh the prompt in the source installation guide