Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix #12457 #13767

Closed
wants to merge 1 commit into from
Closed

fix #12457 #13767

wants to merge 1 commit into from

Conversation

ghost
Copy link

@ghost ghost commented Mar 26, 2020

No description provided.

@Araq
Copy link
Member

Araq commented Mar 27, 2020

Breaks zero-functional and https://github.com/loloicci/nimly Nimble packages.

@ghost ghost closed this May 19, 2020
@timotheecour timotheecour added the stale Staled PR/issues; remove the label after fixing them label May 21, 2020
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
stale Staled PR/issues; remove the label after fixing them
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants