Skip to content

Conversation

patchback[bot]
Copy link

@patchback patchback bot commented Oct 2, 2025

This is a backport of PR #13764 as merged into main (d241a19).

Very simple change to markup in a documentation.

Co-authored-by: Florian Bruhin <me@the-compiler.org>
(cherry picked from commit d241a19)
@patchback patchback bot mentioned this pull request Oct 2, 2025
@nicoddemus nicoddemus enabled auto-merge (squash) October 2, 2025 12:20
@nicoddemus nicoddemus merged commit e29eebf into 8.4.x Oct 2, 2025
36 checks passed
@nicoddemus nicoddemus deleted the patchback/backports/8.4.x/d241a1940ff2d9a2726d466d8a32355036bdb128/pr-13764 branch October 2, 2025 12:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants