Skip to content

Cherry-pick "Merge branch 'ninja_dict' into 'master'" into 1.0

Attila Krasznahorkay requested to merge cherry-pick-4ee5d77a into 1.0

Fix dictionary build dependency for ninja

See merge request !456 (merged)

(cherry picked from commit 4ee5d77a)

  • b81a97c7 Fix dictionary build dependency for ninja

Merge request reports