Merge pull request #8259 from haodong/fish
authorHannu Nyman <hannu.nyman@iki.fi>
Thu, 14 Mar 2019 20:23:06 +0000 (22:23 +0200)
committerGitHub <noreply@github.com>
Thu, 14 Mar 2019 20:23:06 +0000 (22:23 +0200)
commit740cdab8acac95c0edc0a2f39e71d2a5e9dcb1b1
tree7257eaa98206e2d02374c0712e915d07a07cfb0d
parentc4498fceb2c0d057934dc9c4872207100de05dad
parenta070d0e664724cfb5b7dd33b71325678cb7aac2f
Merge pull request #8259 from haodong/fish

fish: Update to 3.0.2