Repository navigation

Require PHP 8.2 and update the dev tooling - #21

Merged

dereuromark merged 1 commit into

bugfix/edge-casesfrom

Oct 11, 2026

Merged

Require PHP 8.2 and update the dev tooling#21
dereuromark merged 1 commit into
bugfix/edge-casesfrom
php82

Commits on Oct 11, 2026
- Require PHP 8.2 and update the dev tooling
  dereuromark
  committed
  fdd6c30