Skip to content

[Backport 4.0] Use version 4 in the documentation#4173

Merged
sbrunner merged 1 commit into
4.0from
ghci/backport/4167-to-4.0
May 21, 2026
Merged

[Backport 4.0] Use version 4 in the documentation#4173
sbrunner merged 1 commit into
4.0from
ghci/backport/4167-to-4.0

Conversation

@geo-ghci-int
Copy link
Copy Markdown
Contributor

@geo-ghci-int geo-ghci-int Bot commented May 21, 2026

Backport of #4167 to 4.0

@sbrunner sbrunner merged commit b17c865 into 4.0 May 21, 2026
11 checks passed
@sbrunner sbrunner deleted the ghci/backport/4167-to-4.0 branch May 21, 2026 09:16
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.

1 participant