jholdstock 1e6b379864 v3tool: Remove hard-coded agenda ID.
Getting an agenda ID dynamically so that this doesnt need to be manually
updated for future vote versions.
2023-09-26 10:21:38 +01:00
..
2023-09-26 10:21:38 +01:00