Merge pull request #11388 from neheb/fish
authorRosen Penev <rosenp@gmail.com>
Thu, 20 Feb 2020 02:14:32 +0000 (18:14 -0800)
committerGitHub <noreply@github.com>
Thu, 20 Feb 2020 02:14:32 +0000 (18:14 -0800)
fish: update to 3.1.0


Trivial merge