Skip to content

Use SenateMembers in is_senate_member helper#1449

Merged
Rubberbandits merged 1 commit intorelease/5.3.1from senate/remove-senate-collectiveJul 12, 2023

Commits

Commits on Jul 12, 2023