Skip to content

DiffService.GetPatchID and install/config doc

Georges Racinet requested to merge topic/stable/get-patch-id into branch/stable

The documentation effort was triggered by our addition of a third external dependency, namely Git itself

Merge request reports