Differences
This shows you the differences between the selected revisions of the page.
| 2018-12-05 | 2018-12-05 | ||
| no summary (103.118.168.138) (hidden) (untrusted) | no summary (103.118.168.138) (hidden) (untrusted) | ||
| Line 145: | Line 145: | ||
| ===== [[5.13.6]] 5.13.6 (not released yet) ((2018-11-29)) ===== | ===== [[5.13.6]] 5.13.6 (not released yet) ((2018-11-29)) ===== | ||
| - | * Back-propagated some improvements and fixes from 5.14.2 beta release: | + | * **Back**-propagated some improvements and fixes from 5.14.2 beta release: |
| * Bug fix: Crash on start while loading local file icons. [[bug>1709]] | * Bug fix: Crash on start while loading local file icons. [[bug>1709]] | ||