Skip to content

Clean up usage of if_not_empty() #3925

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

Merged
merged 3 commits into from
Jul 8, 2024
Merged

Clean up usage of if_not_empty() #3925

merged 3 commits into from
Jul 8, 2024

Conversation

djc
Copy link
Contributor

@djc djc commented Jul 8, 2024

Triggered by #3923, this is a different way of slicing how if_not_empty() is used. What do you think?

@djc djc requested a review from rami3l July 8, 2024 12:46
@djc djc marked this pull request as ready for review July 8, 2024 12:46
@djc
Copy link
Contributor Author

djc commented Jul 8, 2024

Hope this doesn't disrupt your PR too much!

@rami3l rami3l enabled auto-merge July 8, 2024 14:39
@rami3l rami3l added this pull request to the merge queue Jul 8, 2024
Merged via the queue into master with commit fe99f78 Jul 8, 2024
27 checks passed
@rami3l rami3l deleted the if-not-empty branch July 8, 2024 15:09
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