mirror of
https://github.com/git/git.git
synced 2024-11-18 06:54:55 +01:00
Merge branch 'master' into next
* master: Cauterize dropped or duplicate bits from next. Merge part of 'sp/checkout'
This commit is contained in:
commit
3ab8532b07