Skip to content

Conversation

@jerith666
Copy link

…tion/

@evancz evancz closed this in 8e1ee22 Jul 8, 2019
@evancz
Copy link
Member

evancz commented Jul 8, 2019

There were some weird notes in GitHub about pressing the merge button, I think because the ongoing work in the compiler has led to a bunch of files getting moved around. I just added the missing word locally to get the fix instead. Thank you for pointing this one out!

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.

3 participants