Skip to content
This repository has been archived by the owner on Nov 1, 2022. It is now read-only.

fix Github link #1795

Merged
merged 1 commit into from
Mar 5, 2019
Merged

fix Github link #1795

merged 1 commit into from
Mar 5, 2019

Conversation

dholbach
Copy link
Member

@dholbach dholbach commented Mar 5, 2019

No description provided.

@dholbach dholbach added the docs Issue or PR relates to documentation label Mar 5, 2019
@dholbach dholbach self-assigned this Mar 5, 2019
@dholbach dholbach requested a review from dimitropoulos March 5, 2019 16:54
@dholbach dholbach merged commit 194148e into master Mar 5, 2019
@dholbach dholbach deleted the fix-github-link branch March 5, 2019 16:57
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
docs Issue or PR relates to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants