Opened 5 years ago

Closed 5 years ago

#22939 closed enhancement (fixed)

fixing a typo

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

Status badges

Description

from a pull request in github

Change History (3)

comment:1 Changed 5 years ago by chapoton

  • Branch set to u/chapoton/22939
  • Commit set to a44343c8726bfcc8ecdec5f0ac159d4e44ddf81a
  • Status changed from new to needs_review

New commits:

a44343cfixing a typo

comment:2 Changed 5 years ago by tscrim

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

LGTM.

comment:3 Changed 5 years ago by vbraun

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