Opened 10 months ago
Closed 9 months ago
#33694 closed defect (fixed)
Developer manual: Remove mention of SAGE_ROOT/src/module_list.py
| Reported by: | Matthias Köppe | Owned by: | |
|---|---|---|---|
| Priority: | blocker | Milestone: | sage-9.6 |
| Component: | documentation | Keywords: | |
| Cc: | Dima Pasechnik | Merged in: | |
| Authors: | Matthias Koeppe | Reviewers: | Dima Pasechnik |
| Report Upstream: | N/A | Work issues: | |
| Branch: | 9a7edb9 (Commits, GitHub, GitLab) | Commit: | 9a7edb904e68eff3fa39363470b95182e820deb0 |
| Dependencies: | Stopgaps: |
Status badges
Description
(from https://groups.google.com/g/sage-devel/c/F-e5l25Lt2E/m/0VPTnGcVAgAJ)
#29701 removed src/module_list.py, but the developer's guide still mentions it.
Change History (7)
comment:1 Changed 10 months ago by
| Branch: | → u/mkoeppe/developer_manual__remove_mention_of_sage_root_src_module_list_py |
|---|
comment:2 Changed 10 months ago by
| Authors: | → Matthias Koeppe |
|---|---|
| Commit: | → 9a7edb904e68eff3fa39363470b95182e820deb0 |
| Status: | new → needs_review |
comment:5 Changed 10 months ago by
| Status: | needs_review → positive_review |
|---|
comment:6 Changed 9 months ago by
| Priority: | major → blocker |
|---|
comment:7 Changed 9 months ago by
| Branch: | u/mkoeppe/developer_manual__remove_mention_of_sage_root_src_module_list_py → 9a7edb904e68eff3fa39363470b95182e820deb0 |
|---|---|
| Resolution: | → fixed |
| Status: | positive_review → closed |
Note: See
TracTickets for help on using
tickets.
New commits:
Remove mention of src/module_list.py removed in #29701