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

Try harder to fix #916 #2378

Closed
wants to merge 1 commit into from

Conversation

tavianator
Copy link
Contributor

The underlying Rust issue1 was recently re-introduced and re-fixed.
Rather than wait for a new Rust release, apply effectively the same fix
as a workaround in the ignore crate itself.

The underlying Rust issue[1] was recently re-introduced and re-fixed.
Rather than wait for a new Rust release, apply effectively the same fix
as a workaround in the ignore crate itself.

[1]: rust-lang/rust#50619
@BurntSushi
Copy link
Owner

My PR review latency is very high, so this sort of strategy tends not to work so well unless we happen to get lucky and I see and respond to it quickly. But in this case, it looks like a few Rust releases have come out since the issue was re-fixed, so I think we can avoid bringing this in.

@BurntSushi BurntSushi closed this Jul 7, 2023
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