Differences

This shows you the differences between the selected revisions of the page.

2019-01-08 2019-01-08
bug 1644 suspended (martin) typography (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)) =====
-  * 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.
    * Use remembered private key passphrase in generated script/code. [[bug>1688]]     * Use remembered private key passphrase in generated script/code. [[bug>1688]]
Line 180: Line 180:
  * Translations updated: Dutch, Hungarian, Kabyle, Korean, Polish and Spanish.   * Translations updated: Dutch, Hungarian, Kabyle, Korean, Polish and Spanish.
-  * Back-propagated some improvements and fixes from 5.14-5.14.2 beta releases:+  * Back-propagated some improvements and fixes from 5.14--5.14.2 beta releases:
    * TLS/SSL core upgraded to OpenSSL 1.0.2q.     * TLS/SSL core upgraded to OpenSSL 1.0.2q.
    * XML parser upgraded to Expat 2.2.6.     * XML parser upgraded to Expat 2.2.6.

Last modified: by martin