Differences
This shows you the differences between the selected revisions of the page.
| 2018-04-05 | 2018-04-06 | ||
| extension not loaded bug (martin) | bug 1627 refixed (martin) | ||
| Line 16: | Line 16: | ||
| * 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.2]] 5.13.2 (not released yet) ((2018-04-05)) ===== | + | ===== [[5.13.2]] 5.13.2 (not released yet) ((2018-04-06)) ===== |
| * Translations completed: Croatian; and updated: French and German. | * Translations completed: Croatian; and updated: French and German. | ||