Merge pull request #12066 from jqqqqqqqqqq/master
authorHannu Nyman <redacted>
Sun, 3 May 2020 18:56:24 +0000 (21:56 +0300)
committerGitHub <redacted>
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
git clone https://git.99rst.org/PROJECT