Opened 3 years ago

Closed 3 years ago

#27649 closed enhancement (fixed)

refresh the misc/pager file

Reported by: chapoton Owned by:
Priority: trivial Milestone: sage-8.8
Component: misc Keywords:
Cc: tscrim, jmantysalo, vklein Merged in:
Authors: Frédéric Chapoton Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: 8fc9c99 (Commits, GitHub, GitLab) Commit: 8fc9c99596e6f130c773adf80fc987db2a3ddd29
Dependencies: Stopgaps:

Status badges

Description


Change History (5)

comment:1 Changed 3 years ago by chapoton

  • Branch set to u/chapoton/27649
  • Commit set to 8fc9c99596e6f130c773adf80fc987db2a3ddd29
  • Status changed from new to needs_review

New commits:

​8fc9c99refresh the pager file

comment:2 Changed 3 years ago by chapoton

  • Summary changed from refresh the misc/page file to refresh the misc/pager file

comment:3 Changed 3 years ago by chapoton

  • Cc tscrim jmantysalo vklein added

green bot, please review

comment:4 Changed 3 years ago by tscrim

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

comment:5 Changed 3 years ago by vbraun

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