3 ms·
You saw that 3527 was merged in December? Is there still an issue?
by bronson 9y ago
You saw that 3527 was merged in December? Is there still an issue?
- jancsika 9y agomerge link: https://github.com/syncthing/syncthing/commit/05828368200d519e3ddc18f22ebf05c4a6c5e836 https://github.com/syncthing/syncthing/commit/05828368200d51... discussion link: https://github.com/syncthing/syncthing/pull/3527 https://github.com/syncthing/syncthing/pull/3527