Closed mulmarta closed 1 year ago
Fix a bug noticed by @bifurcation. Using ExpandWithLabel instead of the raw Expand seems the right way. Note that after this change "MLS 1.0" is prepended to the label.
ExpandWithLabel
Expand
Fix a bug noticed by @bifurcation. Using
ExpandWithLabel
instead of the rawExpand
seems the right way. Note that after this change "MLS 1.0" is prepended to the label.