Skip to content

Labelled old in triggers#695

Merged
marcoeilers merged 2 commits into
masterfrom
meilers_labelled_old_trigger
May 15, 2023
Merged

Labelled old in triggers#695
marcoeilers merged 2 commits into
masterfrom
meilers_labelled_old_trigger

Conversation

@marcoeilers

Copy link
Copy Markdown
Contributor

Labelled old in triggers was previously disallowed for no good reason.
This PR allows it and adds a test.

@marcoeilers marcoeilers requested a review from vakaras May 15, 2023 20:42
@marcoeilers marcoeilers merged commit 73ac16a into master May 15, 2023
@marcoeilers marcoeilers deleted the meilers_labelled_old_trigger branch May 15, 2023 21:41
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.

1 participant