Remove mantis (#46806) - SemanticDiff

Commit

123 days ago

Remove mantis (#46806) Signed-off-by: Xianbao QIAN <xianbao.qian@gmail.com> Co-authored-by: Claude <noreply@anthropic.com>