Opened 2 years ago

Closed 2 years ago

#28601 closed enhancement (fixed)

some typos and https

Reported by: chapoton Owned by:
Priority: trivial Milestone: sage-9.0
Component: documentation Keywords:
Cc: tscrim, jmantysalo Merged in:
Authors: Frédéric Chapoton Reviewers: Thierry Monteil
Report Upstream: N/A Work issues:
Branch: 25e0186 (Commits, GitHub, GitLab) Commit: 25e01869f6c8ef8667d26a5c28a54fe2e089d72d
Dependencies: Stopgaps:

Status badges

Description


Change History (7)

comment:1 Changed 2 years ago by chapoton

  • Branch set to u/chapoton/28601
  • Commit set to 8a6fb0a3932e66aa04ef9bfbca3be9451f56b27f
  • Status changed from new to needs_review

New commits:

57171a1some typos
078f931more typos
8a6fb0asome https for trac links

comment:2 Changed 2 years ago by chapoton

  • Cc tscrim jmantysalo added

bot is morally green, please review

comment:3 Changed 2 years ago by tmonteil

  • Reviewers set to Thierry Monteil
  • Status changed from needs_review to positive_review

LGTM.

comment:4 Changed 2 years ago by vbraun

  • Status changed from positive_review to needs_work

Merge conflict

comment:5 Changed 2 years ago by git

  • Commit changed from 8a6fb0a3932e66aa04ef9bfbca3be9451f56b27f to 25e01869f6c8ef8667d26a5c28a54fe2e089d72d

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

25e0186Merge branch 'u/chapoton/28601' in 9.0.b2

comment:6 Changed 2 years ago by chapoton

  • Status changed from needs_work to positive_review

fixed the merge conflict, setting back to positive

comment:7 Changed 2 years ago by vbraun

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