Opened 3 years ago

Closed 3 years ago

#25843 closed enhancement (fixed)

Move extlinks into the main Sage code

Reported by: jdemeyer Owned by:
Priority: major Milestone: sage-8.3
Component: documentation Keywords:
Cc: saraedum, arojas Merged in:
Authors: Julian Rüth Reviewers: Jeroen Demeyer
Report Upstream: N/A Work issues:
Branch: 13958db (Commits, GitHub, GitLab) Commit: 13958dbee41d1b3c7d4c74e2aacc8a4bdeba0216
Dependencies: Stopgaps:

Status badges

Description

Split off from #25786

Change History (4)

comment:1 Changed 3 years ago by jdemeyer

  • Branch set to u/jdemeyer/move_extlinks_into_the_main_sage_code

comment:2 Changed 3 years ago by jdemeyer

  • Commit set to 13958dbee41d1b3c7d4c74e2aacc8a4bdeba0216
  • Status changed from new to needs_review

New commits:

13958dbMove extlinks into the main Sage code

comment:3 Changed 3 years ago by jdemeyer

  • Status changed from needs_review to positive_review

comment:4 Changed 3 years ago by vbraun

  • Branch changed from u/jdemeyer/move_extlinks_into_the_main_sage_code to 13958dbee41d1b3c7d4c74e2aacc8a4bdeba0216
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.