Closed alexrandaccio closed 3 years ago
@prscheduler 11/05/2021T16:00
Merge scheduled for 11/05/2021T16:00 UTC time. If you want to change the scheduled time, just comment again with a new time.
@prscheduler 10/05/2021T16:00
Merge re-scheduled for 10/05/2021T16:00 UTC time. If you want to change the scheduled time, just comment again with a new time.
Quadratic Voting at Work, May 11th