Andrew's git / gitweb.git / diff
?
Merge branch 'es/worktree-add-cleanup' into maint
authorJunio C Hamano <gitster@pobox.com>
Fri, 16 Oct 2015 21:32:57 +0000 (14:32 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 16 Oct 2015 21:32:57 +0000 (14:32 -0700)
A no-op code-health maintenance.

* es/worktree-add-cleanup:
t2026: rename worktree prune test

Trivial merge