New release of syncthing[1] [1] https://github.com/syncthing/syncthing/releases/tag/v1.1.1
Finally, 1.1.3 was added to the tree about 10 days ago. Thanks for reporting.