Cherry-pick "Merge branch 'ninja_dict' into 'master'" 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
Fix dictionary build dependency for ninja
See merge request !456 (merged)
(cherry picked from commit 4ee5d77a)