Skip to content

Remove duplicated dictionary selection rule

Marco Cattaneo requested to merge cherry-pick-d963b9d7 into hlt2015-patches

Remove duplicated dictionary selection rule

See merge request !1050 (merged)

(cherry picked from commit d963b9d7)

002d25a5 Remove duplicate dicts and CVS keywords

Merge request reports