Skip to content

Use extract_if as a replacement for drain_filter#9

Closed
Vuta wants to merge 1 commit intounrealhoang:masterfrom
Vuta:fix/dead_feature
Closed

Use extract_if as a replacement for drain_filter#9
Vuta wants to merge 1 commit intounrealhoang:masterfrom
Vuta:fix/dead_feature

Conversation

@Vuta
Copy link
Copy Markdown

@Vuta Vuta commented Dec 2, 2023

Currently we can't build the app because in rust-lang/rust#104455, drain_filter has been renamed to extract_if.

In rust-lang/rust#104455, `drain_filter` has been renamed to `extract_if`.
@Vuta Vuta changed the title Use extract_if in replacement for drain_filter Use extract_if as a replacement for drain_filter Dec 2, 2023
@h2hoang
Copy link
Copy Markdown

h2hoang commented Dec 4, 2023

Hi, thank you for fixing, can you PR against this repo instead: https://github.com/webuild-community/spacebot

@Vuta
Copy link
Copy Markdown
Author

Vuta commented Dec 4, 2023

The issue was fixed in webuild-community@9d092b1, so I'll just close this PR, and run the spacebot on my host instead 😄

@Vuta Vuta closed this Dec 4, 2023
@Vuta Vuta deleted the fix/dead_feature branch December 4, 2023 05:55
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