Cherry-pick of "Merge branch 'BATDictionaryFix-1.0-20180501' into '1.0'" into master (!305) · Merge requests · atlas / atlasexternals · GitLab

Attila Krasznahorkay requested to merge cherry-pick-02cfdca5 into master May 02, 2018

BAT Dictionary Fix, 1.0 branch (2018.05.01.)

See merge request !304 (merged)

(cherry picked from commit 02cfdca5)

a3b6c08d Added a patch to how BAT would generate its dictionary.