Opened 2 years ago

Closed 2 years ago

#29144 closed enhancement (fixed)

remove deprecated stuff from tickets 22***

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: 2165419 (Commits, GitHub, GitLab) Commit: 2165419d0a66a05019e9d916cb45f6b8877ab783
Dependencies: Stopgaps:

Status badges

Change History (5)

comment:1 Changed 2 years ago by chapoton

  • Branch set to u/chapoton/29144
  • Commit set to 31cf18173d233d1b4816823ab2dcccad9e10e767
  • Description modified (diff)
  • Status changed from new to needs_review

New commits:

31cf181removed deprecated stuff from 22626, 22955 and 22907

comment:2 Changed 2 years ago by git

  • Commit changed from 31cf18173d233d1b4816823ab2dcccad9e10e767 to 2165419d0a66a05019e9d916cb45f6b8877ab783

Branch pushed to git repo; I updated commit sha1. New commits:


comment:3 Changed 2 years ago by chapoton

  • Cc tscrim jmantysalo added

bot is morally green, please review

comment:4 Changed 2 years ago by tscrim

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

LGTM. Actually, now we can lazily construct the basis for a matrix space I think.

comment:5 Changed 2 years ago by vbraun

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