Port changes up to version 4.15 of java-diff-utils#130
Merged
petertrr merged 2 commits intopetertrr:mainfrom Jan 31, 2025
Merged
Port changes up to version 4.15 of java-diff-utils#130petertrr merged 2 commits intopetertrr:mainfrom
petertrr merged 2 commits intopetertrr:mainfrom