Skip to content

make rev() detect all parents of the given commits#1326

Closed
RalfJung wants to merge 1 commit intojosh-project:masterfrom
RalfJung:rev-ancestors
Closed

make rev() detect all parents of the given commits#1326
RalfJung wants to merge 1 commit intojosh-project:masterfrom
RalfJung:rev-ancestors

Commits

Commits on Apr 27, 2024