Merge pull request #11472 from fantom-x/syncthing-19.07
authorRosen Penev <rosenp@gmail.com>
Mon, 2 Mar 2020 00:26:17 +0000 (16:26 -0800)
committerGitHub <noreply@github.com>
Mon, 2 Mar 2020 00:26:17 +0000 (16:26 -0800)
syncthing: backport to 19.07


Trivial merge