Skip to content

multi-dismiss for collection instructions#19002

Merged
IDCs merged 1 commit intomasterfrom
19001-instructions-multi-dismiss
Dec 10, 2025
Merged

multi-dismiss for collection instructions#19002
IDCs merged 1 commit intomasterfrom
19001-instructions-multi-dismiss

Conversation

@IDCs
Copy link
Contributor

@IDCs IDCs commented Dec 9, 2025

closes #19001

@IDCs IDCs requested a review from a team December 9, 2025 11:22
@IDCs IDCs self-assigned this Dec 9, 2025
Copy link
Member

@Aragas Aragas left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Might be better to introduce the equality check as a separate value, but seem okay this way also

@IDCs IDCs merged commit a49f71f into master Dec 10, 2025
2 checks passed
@IDCs IDCs deleted the 19001-instructions-multi-dismiss branch December 10, 2025 11:10
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.

Dialog multi-dismiss for instructions too

2 participants