Skip to content

Conversation

manosim
Copy link
Member

@manosim manosim commented Feb 10, 2020

Thanks to @AlecRust suggestion in #304. Also fixes #317 .

@manosim manosim merged commit bdc555f into master Feb 10, 2020
@manosim manosim deleted the fix-github-hostname branch February 10, 2020 03:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Clicking a notification should take you to github.com, not www.github.com
1 participant