Differences
This shows you the differences between the selected revisions of the page.
| 2019-01-08 | 2019-01-08 | ||
| typography (martin) | Simplified Chinese (martin) | ||
| Line 163: | Line 163: | ||
| ===== [[5.13.7]] 5.13.7 (not released yet) ((2019-01-08)) ===== | ===== [[5.13.7]] 5.13.7 (not released yet) ((2019-01-08)) ===== | ||
| + | * Translation updated: Simplified Chinese. | ||
| * Back-propagated some improvements and fixes from 5.14--5.14.3 beta releases: | * Back-propagated some improvements and fixes from 5.14--5.14.3 beta releases: | ||
| * Suspending workaround [[bug>1644]] for a bug in Windows 10 version 1803 (April 2018 update), fixed in version 1809 (October 2018 update), that caused drag&drop downloads to Windows Explorer end in a wrong folder. | * Suspending workaround [[bug>1644]] for a bug in Windows 10 version 1803 (April 2018 update), fixed in version 1809 (October 2018 update), that caused drag&drop downloads to Windows Explorer end in a wrong folder. | ||