Skip to content

Contributing: document typical information sources#875

Merged
wimg merged 1 commit intomasterfrom
feature/contributing-add-links-to-sources
Aug 26, 2019
Merged

Contributing: document typical information sources#875
wimg merged 1 commit intomasterfrom
feature/contributing-add-links-to-sources

Conversation

@jrfnl
Copy link
Member

@jrfnl jrfnl commented Aug 21, 2019

No description provided.

@jrfnl jrfnl added Type: documentation PR: quick merge PR only contains relatively simple changes PR: ready for review labels Aug 21, 2019
@jrfnl jrfnl added this to the 9.3.0 milestone Aug 21, 2019
@jrfnl jrfnl requested a review from wimg August 21, 2019 04:31
@wimg wimg merged commit b94a183 into master Aug 26, 2019
@delete-merged-branch delete-merged-branch bot deleted the feature/contributing-add-links-to-sources branch August 26, 2019 16:07
@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