Speed up git clone
Merge branch 'PeterDaveHello-patch-1'