Differences
This shows you the differences between the selected revisions of the page.
| 2019-06-03 | 2019-06-03 | ||
| bug 1750 (martin) | 5.15.3 is not released yet (martin) | ||
| Line 22: | Line 22: | ||
| * Bug fix: Directory changes cache is not case sensitive when resolving symbolic links. [[bug>1739]] | * Bug fix: Directory changes cache is not case sensitive when resolving symbolic links. [[bug>1739]] | ||
| - | ===== [[5.15.3]] 5.15.3 ((2019-06-03)) ===== | + | ===== [[5.15.3]] 5.15.3 (not released yet) ((2019-06-03)) ===== |
| * Bug fix: With every start on a monitor with different DPI than the primary monitor, dimensions of the window and some of its components change slightly. [[bug>1750]] | * Bug fix: With every start on a monitor with different DPI than the primary monitor, dimensions of the window and some of its components change slightly. [[bug>1750]] | ||