Skip to content

doc: clarify the intent of the renormalize option in the merge machinery#1861

Closed
newren wants to merge 1 commit intogitgitgadget:masterfrom
newren:clarify-renormalize-docs
Closed

doc: clarify the intent of the renormalize option in the merge machinery#1861
newren wants to merge 1 commit intogitgitgadget:masterfrom
newren:clarify-renormalize-docs

Commits

Commits on Feb 9, 2025