Skip to content

Backport #12189: user manual: update copyright year to 2026 - #12195

Merged
mergify[bot] merged 1 commit into
3.18from
mergify/bp/3.18/pr-12189
Jul 31, 2026
Merged

Backport #12189: user manual: update copyright year to 2026#12195
mergify[bot] merged 1 commit into
3.18from
mergify/bp/3.18/pr-12189

Conversation

@mergify

@mergify mergify Bot commented Jul 31, 2026

Copy link
Copy Markdown
Contributor

Template B: This PR does not modify behaviour or interface

E.g. the PR only touches documentation or tests, does refactorings, etc.

Include the following checklist in your PR:

  • Patches conform to the coding conventions.
  • Is this a PR that fixes CI? If so, it will need to be backported to older cabal release branches (ask maintainers for directions).

This is an automatic backport of pull request #12189 done by [Mergify](https://mergify.com).

@mergify mergify Bot added the backport label Jul 31, 2026

@Mikolaj Mikolaj left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Perfect in all respect.

@Mikolaj Mikolaj added the squash+merge me Tell Mergify Bot to squash-merge label Jul 31, 2026
@mergify mergify Bot added the queued label Jul 31, 2026
@mergify

mergify Bot commented Jul 31, 2026

Copy link
Copy Markdown
Contributor Author

Merge Queue Status

  • Entered queue2026-07-31 22:22 UTC · Rule: squash-merge · triggered by rule Put backports in the squash+merge queue
  • Checks skipped · PR is already up-to-date
  • Merged2026-07-31 22:34 UTC · at 55aa180fa5c1fc1a909798891a05f32e3f35cfbe · 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

@mergify
mergify Bot merged commit 7d4a03d into 3.18 Jul 31, 2026
60 checks passed
@mergify
mergify Bot deleted the mergify/bp/3.18/pr-12189 branch July 31, 2026 22:34
@mergify mergify Bot removed the queued label Jul 31, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport squash+merge me Tell Mergify Bot to squash-merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants