Revert "Switch from numeral to numbro (#6344)"#6595
Merged
guidopetri merged 2 commits intogetredash:masterfrom Nov 25, 2023
Merged
Revert "Switch from numeral to numbro (#6344)"#6595guidopetri merged 2 commits intogetredash:masterfrom
guidopetri merged 2 commits intogetredash:masterfrom
Commits
Commits on Nov 14, 2023
- committed
github-actions
