Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
#426 was created 42 minutes after the scheduled time, missing the daily update window for rupicola, and delaying coq/coq#19310 (comment) by 24 hours. In lieu of getting a cron that can actually keep time, I'll fudge this one just a bit for now.
- Loading branch information