Opened 3 years ago
Closed 3 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: |
Description
Change History (3)
comment:1 Changed 3 years ago by
- Branch set to u/chapoton/28411
- Commit set to 7f922c1fc298e3d5560cf1c509e405f3dc618644
- Status changed from new to needs_review
comment:2 Changed 3 years ago by
- Reviewers set to Jori Mäntysalo
- Status changed from needs_review to positive_review
LGTM.
comment:3 Changed 3 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