Skip to content

Improve the module replacement algorithm

François Grisez requested to merge fix/module_replacement_algo into master

(cherry picked from commit 5cf6d269)

Merge request reports