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

bug: #7076 adds ERROR to windows portability files #7168

Closed
wants to merge 1 commit into from
Closed

bug: #7076 adds ERROR to windows portability files #7168

wants to merge 1 commit into from

Conversation

egorpugin
Copy link
Contributor

Same as #7088 but for ERROR.
Issue: #7076

@rafi-kamal
Copy link
Contributor

rafi-kamal commented Feb 3, 2020

Do we want it to merge in master instead? We are currently in the middle of the 3.11.3 release process, I'm not sure if there will be a 3.11.4 release in future.

@egorpugin
Copy link
Contributor Author

I also thought about master, but created as previous PR.
Maybe after merge you could cherry-pick it into master?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants