fix: keep the widest nominalTraceWidth when merging connections (#1721) - #1773
Closed
DPS0340 wants to merge 2 commits into
Closed
fix: keep the widest nominalTraceWidth when merging connections (#1721)#1773DPS0340 wants to merge 2 commits into
DPS0340 wants to merge 2 commits into