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)
commit1dfb929a37bcb1456832753ec073a3fb5a27ffd0
treead8e146f967c358eba518256fdf69b8285dcf7f6
parent90186fa0579e4dcdde08a2d823d9b269578d5a70
parent94408dc71c0410a385193171cc79d230920b85fa
Merge branch 'sg/completion-clear-cached'

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
contrib/completion/git-completion.bash