Fix 298 by reusing the label instead of taking it from the json of sm…#322
Open
frank-wettstein wants to merge 1 commit into
Open
Fix 298 by reusing the label instead of taking it from the json of sm…#322frank-wettstein wants to merge 1 commit into
frank-wettstein wants to merge 1 commit into
Commits
Commits on Dec 3, 2025
- authored andcommitted
