Skip to content

Pin that killing a diff tool actually kills it - #780

Merged
SimonCropp merged 2 commits into
mainfrom
pin-diff-tool-kill
Aug 21, 2026
Merged

Pin that killing a diff tool actually kills it#780
SimonCropp merged 2 commits into
mainfrom
pin-diff-tool-kill

Merge branch 'main' into pin-diff-tool-kill

a849f48
Select commit
Loading
Failed to load commit list.
Dotnet Policy Service / license/cla succeeded Aug 21, 2026 in 0s

All CLA requirements met.

This check verifies that the author has agreed to a CLA with Microsoft.

View more details on Dotnet Policy Service