#29261 closed enhancement (fixed)

remove old deprecated things again

Reported by: chapoton Owned by:
Priority: major Milestone: sage-9.1
Component: refactoring Keywords:
Cc: tscrim, jmantysalo Merged in:
Authors: Frédéric Chapoton Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: eb30f50 (Commits, GitHub, GitLab) Commit: eb30f5028b030c23fd550ee59134025705698098
Dependencies: Stopgaps:

Status badges

Description

from #19097, #19111 and #21048

Change History (5)

comment:1 Changed 16 months ago by chapoton

  • Branch set to u/chapoton/29261
  • Commit set to eb30f5028b030c23fd550ee59134025705698098
  • Status changed from new to needs_review

New commits:

eb30f50remove some old deprecated stuff

comment:2 Changed 16 months ago by chapoton

  • Summary changed from remove old deprectaed things again to remove old deprecated things again

comment:3 Changed 16 months ago by chapoton

  • Cc tscrim jmantysalo added

bot is morally green, please review

comment:4 Changed 16 months ago by tscrim

  • Reviewers set to Travis Scrimshaw
  • Status changed from needs_review to positive_review

LGTM.

comment:5 Changed 16 months ago by vbraun

  • Branch changed from u/chapoton/29261 to eb30f5028b030c23fd550ee59134025705698098
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.