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)
fish: update to 3.1.2


Trivial merge
git clone https://git.99rst.org/PROJECT