Skip to content
This repository was archived by the owner on Mar 17, 2023. It is now read-only.

Comments

Docs PR Triage#1750

Merged
grahamsmith merged 5 commits intomasterfrom
docs-pr-triage
Jun 8, 2020
Merged

Docs PR Triage#1750
grahamsmith merged 5 commits intomasterfrom
docs-pr-triage

Conversation

@Fishbowler
Copy link
Contributor

Closes #1561
Closes #1553
Closes #1540
Closes #1173
Closes #1050

Mopping up the low-hanging fruit in stale PRs.

@Fishbowler Fishbowler requested a review from grahamsmith June 8, 2020 21:18
@grahamsmith grahamsmith merged commit 1fa8e5d into master Jun 8, 2020
@grahamsmith grahamsmith deleted the docs-pr-triage branch June 8, 2020 21:21
gitbook-com bot pushed a commit that referenced this pull request Jun 20, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants