pr-scheduler[bot]
commented
2 years ago Merge scheduled for 30/09/2021T15:00 UTC time. If you want to change the scheduled time, just comment again with a new time.
Closed alexrandaccio closed 2 years ago
pr-scheduler[bot]
commented
2 years ago Merge scheduled for 30/09/2021T15:00 UTC time. If you want to change the scheduled time, just comment again with a new time.
@prscheduler 30/09/2021T15:00