Differences
This shows you the differences between the selected revisions of the page.
| 2019-11-13 | 2019-11-13 | ||
| jumplist cleanup bug (martin) | typography (martin) | ||
| Line 9: | Line 9: | ||
| * Bug fix: Failure when synchronizing directories after they were previously synchronized while being empty. [[bug>1808]] | * Bug fix: Failure when synchronizing directories after they were previously synchronized while being empty. [[bug>1808]] | ||
| * Bug fix: Cleaning up cached SSH host keys did not work. | * Bug fix: Cleaning up cached SSH host keys did not work. | ||
| - | * Bug fix:Cleaning up configuration did not remove jumplist. | + | * Bug fix:·Cleaning up configuration did not remove jumplist. |
| ===== [[5.16.2]] 5.16.2 RC ((2019-11-08)) ===== | ===== [[5.16.2]] 5.16.2 RC ((2019-11-08)) ===== | ||