Skip to content

Various minor documentation fixes#916

Merged
wimg merged 1 commit intodevelopfrom
feature/various-minor-docs-fixes
Oct 9, 2019
Merged

Various minor documentation fixes#916
wimg merged 1 commit intodevelopfrom
feature/various-minor-docs-fixes

Conversation

@jrfnl
Copy link
Member

@jrfnl jrfnl commented Oct 3, 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 Oct 3, 2019
@jrfnl jrfnl added this to the 9.x Next milestone Oct 3, 2019
@jrfnl jrfnl requested a review from wimg October 3, 2019 06:26
@wimg wimg merged commit 5c16c24 into develop Oct 9, 2019
@wimg wimg deleted the feature/various-minor-docs-fixes branch October 9, 2019 23:11
@jrfnl jrfnl removed PR: quick merge PR only contains relatively simple changes PR: ready for review labels Oct 10, 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