Skip to content

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

Merged
davidwengier merged 1 commit into
release/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 into
release/dev18.0from
backport/pr-12256-to-release/dev18.0

Calculate minimal diffs before updating Html buffer

dd4d227
Select commit
Loading
Failed to load commit list.