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.

Sign up for GitHub

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

Jump to bottom

🔥 Deletion of notEmptySetOf function #516

Closed
1 of 3 tasks
Tracked by #587
LVMVRQUXL opened this issue Feb 21, 2024 · 1 comment
Closed
1 of 3 tasks
Tracked by #587

🔥 Deletion of notEmptySetOf function #516

LVMVRQUXL opened this issue Feb 21, 2024 · 1 comment
Labels
common Item related to all platforms. feature New feature or request.

Comments

@LVMVRQUXL
Copy link
Contributor

LVMVRQUXL commented Feb 21, 2024 •
edited
Loading

📝 Description

We would like to remove the notEmptySetOf function.

🔗 Dependencies

This issue is blocked by the following ones:

✅ Checklist
@LVMVRQUXL LVMVRQUXL added feature New feature or request. common Item related to all platforms. labels Feb 21, 2024
@LVMVRQUXL LVMVRQUXL added this to the 6.0.0 milestone Feb 21, 2024
@LVMVRQUXL LVMVRQUXL changed the title Deletion of notEmptySetOf function 🔥 Deletion of notEmptySetOf function Feb 28, 2024
@LVMVRQUXL LVMVRQUXL mentioned this issue Mar 17, 2024
Closed
@LVMVRQUXL LVMVRQUXL removed this from the 6.0.0 milestone Mar 22, 2024
@LVMVRQUXL
Copy link
Contributor Author

We are not ready to implement this change.

@LVMVRQUXL LVMVRQUXL closed this as not planned Won't fix, can't repro, duplicate, stale Mar 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
common Item related to all platforms. feature New feature or request.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@LVMVRQUXL