Difference between revisions of "Translations:Release notes/1.1/78/en"
Jump to navigation
Jump to search
(Importing a new version from external source) |
(No difference)
|
Latest revision as of 23:35, 23 May 2021
Symbol search now also takes symbol name translations into account (Issue #1804)