Differences
This shows you the differences between the selected revisions of the page.
| 2019-12-13 | 2019-12-13 | ||
| bug 1814 (martin) | bug 1813 2nd (martin) | ||
| Line 13: | Line 13: | ||
| * Added ''/bin/sh'' to the list of shells. [[bug>1814]] | * Added ''/bin/sh'' to the list of shells. [[bug>1814]] | ||
| * Bug fix: ''ComparisonDifference.IsDirectory'' was not set to true for directories. | * Bug fix: ''ComparisonDifference.IsDirectory'' was not set to true for directories. | ||
| - | * Bug fix: Cannot list WebDAV directory when any of the files is locked and the ''<depth>'' element contains whitespaces around its contents. [[bug>1813]] | + | * Bug fix: Cannot list WebDAV directory when any of the files is locked and the ''<depth>'' or ''<timeout>'' elements contain whitespaces around its contents. [[bug>1813]] |
| ===== [[5.16.4]] 5.16.4 RC ((2019-12-04)) ===== | ===== [[5.16.4]] 5.16.4 RC ((2019-12-04)) ===== | ||