tree a6fdf41305bd952c002ada65abf6102867cb4832
parent 1ad7c0f6896bf0fa0b1b4965d7395b7ba2695fdc
parent ae9f2745bee74ed169f0ca2933b8cc9d21214110
author Junio C Hamano <gitster@pobox.com> 1445900121 -0700
committer Junio C Hamano <gitster@pobox.com> 1445900121 -0700

Merge branch 'es/worktree-add'

* es/worktree-add:
  worktree: usage: denote <branch> as optional with 'add'