Skip to content

Various minor documentation fixes#886

Merged
wimg merged 1 commit intomasterfrom
feature/minor-docs-fixes
Aug 28, 2019
Merged

Various minor documentation fixes#886
wimg merged 1 commit intomasterfrom
feature/minor-docs-fixes

Conversation

@jrfnl
Copy link
Copy Markdown
Member

@jrfnl jrfnl commented Aug 28, 2019

... picked up along the way.

... picked up along the way.
@jrfnl jrfnl added Type: chores/QA PR: quick merge PR only contains relatively simple changes PR: ready for review labels Aug 28, 2019
@jrfnl jrfnl added this to the 9.3.0 milestone Aug 28, 2019
@jrfnl jrfnl requested a review from wimg August 28, 2019 14:53
@wimg wimg merged commit c473aa2 into master Aug 28, 2019
@delete-merged-branch delete-merged-branch bot deleted the feature/minor-docs-fixes branch August 28, 2019 14:55
@jrfnl jrfnl removed PR: ready for review PR: quick merge PR only contains relatively simple changes labels Sep 5, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants