Skip to content

Conversation

nerdoc
Copy link

@nerdoc nerdoc commented Jan 27, 2020

No description provided.

@nerdoc nerdoc mentioned this pull request Jan 27, 2020
@nerdoc
Copy link
Author

nerdoc commented Jan 27, 2020

I just renamed the file and created a link to it with the old name. If you want to skip the link, I can just create a new PR (or fix it here and you squash the PR commits)

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.

1 participant