Differences
This shows you the differences between the selected revisions of the page.
| 2018-05-17 | 2018-05-22 | ||
| no summary (104.129.192.95) (hidden) (untrusted) | symlink fixes (martin) | ||
| Line 31: | Line 31: | ||
| * Bug fix: Ad-hoc sessions opened with workspace duplicated into a new window had a wrong name. | * Bug fix: Ad-hoc sessions opened with workspace duplicated into a new window had a wrong name. | ||
| * Bug fix: When editing multiple files, opening ends on the first file that is already opened. | * Bug fix: When editing multiple files, opening ends on the first file that is already opened. | ||
| + | |||
| + | ===== [[5.13.3]] 5.13.3 ((2018-05-22)) ===== | ||
| + | |||
| + | * Bug fix: It is not possible to delete symlink pointing to a directory with //"Follow symbolic links to directories"// session settings being on. [[bug>1648]] | ||
| + | * Bug fix: Scripting command ''ln'' does silently nothing when the server does not support creating symlinks, instead of reporting that. | ||
| ===== [[5.13.2]] 5.13.2 ((2018-05-16)) ===== | ===== [[5.13.2]] 5.13.2 ((2018-05-16)) ===== | ||