Merge pull request #1047 from pykello/master
authorNico Weber <nicolasweber@gmx.de>
Thu, 12 Nov 2015 05:46:33 +0000 (21:46 -0800)
committerNico Weber <nicolasweber@gmx.de>
Thu, 12 Nov 2015 05:46:33 +0000 (21:46 -0800)
Speed-up bash target auto-complete.


Trivial merge