Skip to content

Conversation

@soehms
Copy link
Member

@soehms soehms commented Sep 26, 2023

This PR implements the changes requested in #36292 (comment)

📝 Checklist

  • The title is concise, informative, and self-explanatory.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation accordingly.

⌛ Dependencies

soehms and others added 4 commits September 18, 2023 08:06
* fix_on_label_removal initial

* fix_on_label_removal state -> status

* fix bug in actor valid

* once again

* rewrite authors in actor_valid

* syntax

* replace warning by hint
@soehms soehms closed this Sep 26, 2023
@soehms
Copy link
Member Author

soehms commented Sep 26, 2023

This was relative to the wrong repo!

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