Support patches without a prefix by determining the prefix depth#10885

Merged

Leonidas-from-XIV merged 1 commit intoocaml:mainfrom Leonidas-from-XIV:prefixless-patches

Sep 9, 2024

+65-30

Commits on Sep 9, 2024

fix: Support patches without a prefix by determining the prefix depth
Leonidas-from-XIV
committed