Skip to content

Conversation

lilianchuang
Copy link
Contributor

fix github addr of windows

fix github addr of windows
@garethr
Copy link
Collaborator

garethr commented Apr 14, 2020

Good catch. Appreciated.

@garethr garethr merged commit 38f732d into instrumenta:master Apr 14, 2020
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.

2 participants