Skip to content

Fix nickname handling and reject impossible day-of-month expressions - #17

Merged
justintout merged 5 commits into
mainfrom
bug/nicknames-and-unsatisfiable
Oct 3, 2026
Merged

justintout merged 5 commits into
mainfrom
bug/nicknames-and-unsatisfiable

Commits

  1. Commits on Oct 3, 2026