Merge branch 'ml/misc-simplifications'
* ml/misc-simplifications: git-gui: simplify using nice(1) git-gui: simplify PATH de-duplication
Johannes Sixt 6 months ago 530c5f00 c242b89b