Differences
This shows you the differences between the selected revisions of the page.
2017-10-11 | 2017-10-11 | ||
new (92.99.219.22) (hidden) (untrusted) | Restored revision 1507645433. Undoing revisions 1507706786, 1507706941. (martin) (hidden) | ||
Line 29: | Line 29: | ||
* Bug fix: Failure when creating local directory or deleting local files, while no session is connected. [[bug>1558]] | * Bug fix: Failure when creating local directory or deleting local files, while no session is connected. [[bug>1558]] | ||
* Bug fix: Mouse selection is sometimes incorrectly initiated after inline remote file renaming. [[bug>1559]] | * Bug fix: Mouse selection is sometimes incorrectly initiated after inline remote file renaming. [[bug>1559]] | ||
- | |||
===== [[5.11.1]] 5.11.1 ===== | ===== [[5.11.1]] 5.11.1 ===== |