diff options
author | Junio C Hamano <gitster@pobox.com> | 2019-07-25 14:27:08 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-07-25 14:27:08 -0700 |
commit | 776d668142070cd1234bcc9df6661d372cae2e16 (patch) | |
tree | cbbaee022953c283ac2f20d9b597c702ff071e79 /po/TEAMS | |
parent | Merge branch 'es/grep-require-name-when-needed' into maint (diff) | |
parent | server-info: do not list unlinked packs (diff) | |
download | tgif-776d668142070cd1234bcc9df6661d372cae2e16.tar.xz |
Merge branch 'ew/server-info-remove-crufts' into maint
"git update-server-info" used to leave stale packfiles in its
output, which has been corrected.
* ew/server-info-remove-crufts:
server-info: do not list unlinked packs
Diffstat (limited to 'po/TEAMS')
0 files changed, 0 insertions, 0 deletions