type_ir: remove redundant part of comment #137600
+0
−2
Merged
Loading