Sema: fix bad merge

d8f81372f1mlugg committed on 7/16/2024, 6:44:41 PMparent5093a5c
1 file changedLine totals unavailable