Differences
This shows you the differences between the selected revisions of the page.
2018-05-17 | 2018-05-17 | ||
no summary (104.129.192.95) (hidden) (untrusted) | no summary (104.129.192.95) (hidden) (untrusted) | ||
Line 34: | Line 34: | ||
===== [[5.13.2]] 5.13.2 ((2018-05-16)) ===== | ===== [[5.13.2]] 5.13.2 ((2018-05-16)) ===== | ||
- | * Workaround for a bug in Windows 10 version 1803 (April 2018 Update), causing drag & drop downloads to Windows Explorer end in a wrong folder (computer restart required). [[bug·>1644.]] | + | * Workaround for a bug in Windows 10 version 1803 (April 2018 Update), causing drag & drop downloads to Windows Explorer end in a wrong folder (computer restart required). [[bug>1644]] |
* Translations completed: Croatian, Farsi and Russian; and updated: Dutch, French, German and Polish. | * Translations completed: Croatian, Farsi and Russian; and updated: Dutch, French, German and Polish. | ||
* Generated session URL for opened FTP/WebDAV session over TLS/SSL with invalid certificate includes its fingerprint. [[bug>1646]] | * Generated session URL for opened FTP/WebDAV session over TLS/SSL with invalid certificate includes its fingerprint. [[bug>1646]] |