Skip to content

Weighted voting - second October 24 pull request#34

Merged
mbirgen merged 2 commits intomainfrom
Weighted-Voting
Oct 24, 2025
Merged

Weighted voting - second October 24 pull request#34
mbirgen merged 2 commits intomainfrom
Weighted-Voting

Conversation

@mbirgen
Copy link
Copy Markdown
Owner

@mbirgen mbirgen commented Oct 24, 2025

No description provided.

@mbirgen mbirgen merged commit e7b522a into main Oct 24, 2025
3 checks passed
@mbirgen mbirgen deleted the Weighted-Voting branch October 24, 2025 14:42
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