Skip to content

Conversation

@sabine
Copy link
Collaborator

@sabine sabine commented Jan 17, 2025

Reverts #2922

@sabine sabine merged commit 9e81dc0 into main Jan 17, 2025
2 of 3 checks passed
@sabine sabine deleted the revert-2922-fix_actual_number_of_industrial_users branch January 17, 2025 07:19
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