Skip to content

Enable edit button in docs - #8612

Merged
philippjfr merged 3 commits into
mainfrom
enable_doc_edit
May 29, 2026
Merged

Enable edit button in docs#8612
philippjfr merged 3 commits into
mainfrom
enable_doc_edit

Conversation

@philippjfr

Copy link
Copy Markdown
Member

Implements #8556

@philippjfr
philippjfr merged commit 9eb205d into main May 29, 2026
1 check was pending
@philippjfr
philippjfr deleted the enable_doc_edit branch May 29, 2026 14:24
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