Differences
This shows you the differences between the selected revisions of the page.
| 2022-03-25 | 2022-03-28 | ||
| bug 2066 (martin) | important fixes to existing changes today (martin) | ||
| Line 17: | Line 17: | ||
| * Change: Keyboard shortcut for //Command Line// command changed to ''Shift+Ctrl+M'' (''Shift+Ctrl+N'' previously). | * Change: Keyboard shortcut for //Command Line// command changed to ''Shift+Ctrl+M'' (''Shift+Ctrl+N'' previously). | ||
| - | ===== [[5.20.2]] 5.20.2 (not released yet) ((2022-03-25)) ===== | + | ===== [[5.20.2]] 5.20.2 (not released yet) ((2022-03-28)) ===== |
| * Translation updated: German. | * Translation updated: German. | ||