Skip to content

Fix formatting of office hour to handle time like 5:30pm#110

Merged
fpagnoux merged 1 commit intomainfrom
office-hour-formatting
Dec 23, 2025
Merged

Fix formatting of office hour to handle time like 5:30pm#110
fpagnoux merged 1 commit intomainfrom
office-hour-formatting

Commits

Commits on Dec 23, 2025