Differences
This shows you the differences between the selected revisions of the page.
| 2017-02-15 | 2017-02-15 | ||
| bug 1511 (martin) | releasing 5.9.4 (martin) | ||
| Line 71: | Line 71: | ||
| * Bug fix: Failure while reloading directory tree after a system colors had changed while the tree was not showing. [[bug>1509]] | * Bug fix: Failure while reloading directory tree after a system colors had changed while the tree was not showing. [[bug>1509]] | ||
| - | ===== [[5.9.4]] 5.9.4 (not released yet) ===== | + | ===== [[5.9.4]] 5.9.4 ===== |
| === 2017-02-15 === | === 2017-02-15 === | ||