t / t5100 / patch0013on commit Merge branch 'jc/detached-head-doc' (cd797c7)
   1