Differences

This shows you the differences between the selected revisions of the page.

2018-03-19 2018-03-19
no summary (222.218.99.133) (hidden) (untrusted) no summary (222.218.99.133) (hidden) (untrusted)
Line 36: Line 36:
  * Bug fix: It was not possible to open workspace with special characters from a desktop shortcut. [[bug>1610]]   * Bug fix: It was not possible to open workspace with special characters from a desktop shortcut. [[bug>1610]]
  * Bug fix: Failure when focused panel is changed, while double-clicking a file to edit it. [[bug>1611]]   * Bug fix: Failure when focused panel is changed, while double-clicking a file to edit it. [[bug>1611]]
-*ok+
===== [[5.12.2]] 5.12.2 RC ((2018-02-01)) ===== ===== [[5.12.2]] 5.12.2 RC ((2018-02-01)) =====

Last modified: by 222.218.99.133