Skip to content

Grace period is already accounted for in effective end time by RC#10

Merged
jurrigerretsen merged 1 commit intomainfrom fix/effective-end-time-grace-periodNov 19, 2024

Commits