Differences
This shows you the differences between the selected revisions of the page.
2018-03-14 | 2018-03-15 | ||
keep remote directory up to date in new window (martin) | bug 1622 (martin) | ||
Line 14: | Line 14: | ||
* 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. | ||
- | ===== [[5.13.1]] 5.13.1 (not released yet) ((2018-03-13)) ===== | + | ===== [[5.13.1]] 5.13.1 (not released yet) ((2018-03-15)) ===== |
* Translations completed: Kabyle and Ukrainian; and updated: Bahasa Indonesia. | * Translations completed: Kabyle and Ukrainian; and updated: Bahasa Indonesia. | ||
Line 23: | Line 23: | ||
* Bug fix: Port number box was visible for S3 protocol, even though its value has no effect. | * Bug fix: Port number box was visible for S3 protocol, even though its value has no effect. | ||
* Bug fix: Hang when opening a menu with any //Paste// command, while clipboard contains a large amount of text. [[bug>1620]] | * Bug fix: Hang when opening a menu with any //Paste// command, while clipboard contains a large amount of text. [[bug>1620]] | ||
+ | * Bug fix: Slashes in SHA-256 fingerprints are not encoded in generated URLs. [[bug>1622]] | ||
===== [[5.13]] 5.13 ((2018-02-19)) ===== | ===== [[5.13]] 5.13 ((2018-02-19)) ===== |