Skip to content

Issue #3444071: move term_merge related function to submodule

This reverts commit 33f429d6, f91325a7 and 4c362a41.

Closes #3444071

Merge request reports