Merge branch 'sg/completion-clear-cached'
authorJunio C Hamano <gitster@pobox.com>
Tue, 8 May 2018 06:59:25 +0000 (15:59 +0900)
committerJunio C Hamano <gitster@pobox.com>
Tue, 8 May 2018 06:59:25 +0000 (15:59 +0900)
The completion script (in contrib/) learned to clear cached list of
command line options upon dot-sourcing it again in a more efficient
way.

* sg/completion-clear-cached:
  completion: reduce overhead of clearing cached --options

1  2 
contrib/completion/git-completion.bash