Merge pull request #20812 from jokogr/u/syncthing-0.14.13
syncthing: 0.14.12 -> 0.14.13
authored by Frederik Rietdijk and committed by GitHub 9 years ago d6ffb976 b28d21fd