Skip to content

provide new option for "if-equal" header: "skip-minimizing-merge"#1772

Merged
thjaeckle merged 2 commits intomasterfrom feature/skip-minimizing-mergeOct 17, 2023