chiark / gitweb /
dgit: opts_opt_multi_cmd: New @$extra feature