Skip to content

Correct two stale comments in the docs sync - #5494

Merged
ZJvandeWeg merged 2 commits into
mainfrom
fix-stale-docs-sync-comments
Aug 5, 2026
Merged

Correct two stale comments in the docs sync#5494
ZJvandeWeg merged 2 commits into
mainfrom
fix-stale-docs-sync-comments

Commits

Commits on Aug 4, 2026