Repository navigation
Backport #12189: user manual: update copyright year to 2026 - #12195
Merged
Merged
Mergify / Mergify Merge Queue
succeeded
Jul 31, 2026 in 11m 14s
Merged via merge queue
- ✅ Entered queue —
2026-07-31 22:22 UTC· Rule:squash-merge· triggered by rulePut backports in the squash+merge queue - ✅ Checks skipped · PR is already up-to-date
- ✅ Merged —
2026-07-31 22:34 UTC· at55aa180fa5c1fc1a909798891a05f32e3f35cfbe· squash
This pull request spent 11 minutes 11 seconds in the queue, including 3 seconds running CI.
Required conditions to merge
#review-threads-unresolved = 0[🛡 GitHub branch protection]github-review-approved[🛡 GitHub branch protection]- any of [🛡 GitHub branch protection]:
-
check-success = Doctest Cabal -
check-neutral = Doctest Cabal -
check-skipped = Doctest Cabal
-
- any of [🛡 GitHub branch protection]:
-
check-success = Meta checks -
check-neutral = Meta checks -
check-skipped = Meta checks
-
- any of [🛡 GitHub branch protection]:
-
check-success = Validate post job -
check-neutral = Validate post job -
check-skipped = Validate post job
-
- any of [🛡 GitHub branch protection]:
-
check-success = docs/readthedocs.org:cabal -
check-neutral = docs/readthedocs.org:cabal -
check-skipped = docs/readthedocs.org:cabal
-
- any of [🛡 GitHub branch protection]:
-
check-success = Bootstrap post job -
check-neutral = Bootstrap post job -
check-skipped = Bootstrap post job
-
- any of [🛡 GitHub branch protection]:
-
check-success = whitespace -
check-neutral = whitespace -
check-skipped = whitespace
-
- any of [🛡 GitHub branch protection]:
-
check-success = Check sdist post job -
check-neutral = Check sdist post job -
check-skipped = Check sdist post job
-
- any of [🛡 GitHub branch protection]:
-
check-success = Changelogs -
check-neutral = Changelogs -
check-skipped = Changelogs
-
Loading