Skip to content

[release/dev18.0] Calculate minimal diffs before updating Html buffer#12257

Merged
davidwengier merged 1 commit intorelease/dev18.0from
backport/pr-12256-to-release/dev18.0
Sep 23, 2025
Merged

[release/dev18.0] Calculate minimal diffs before updating Html buffer#12257
davidwengier merged 1 commit intorelease/dev18.0from
backport/pr-12256-to-release/dev18.0

Commits

Commits on Sep 23, 2025