Merge pull request #12066 from jqqqqqqqqqq/master
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 3 May 2020 18:56:24 +0000 (21:56 +0300)
committerGitHub <noreply@github.com>
Sun, 3 May 2020 18:56:24 +0000 (21:56 +0300)
commit7a5ac5117eb0ea0a68e846bd053791209bb09134
tree190b0271627f92619f3c528c06cfa4fb1f2f74c8
parent6198128711fec34579cd16c2e6f4aff098862e87
parentdb596f132bdc581da1589ef6cf3e9cc0113fb7ac
Merge pull request #12066 from jqqqqqqqqqq/master

fish: update to 3.1.2