Skip to content

Cherry-pick "Merge branch 'DictionaryFixes-1.0-20190124' into '1.0'" into master

Attila Krasznahorkay requested to merge cherry-pick-8b57a100 into master

Dictionary Fixes, 1.0 branch (2019.01.24.)

See merge request !430 (merged)

(cherry picked from commit 8b57a100)

  • a5e8b2ec Fixed the Reflex dictionary generator scripts.

Merge request reports