Merge pull request #7810 from haodong/fish
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 30 Dec 2018 18:14:37 +0000 (20:14 +0200)
committerGitHub <noreply@github.com>
Sun, 30 Dec 2018 18:14:37 +0000 (20:14 +0200)
fish: updated to v3.0.0, revert "apropos fix" for being fixed officially


Trivial merge