v9.7.1
Pedro Henriques's avatar
Pedro Henriques
@pedrohenriques
d3dc3637 · Merge branch 'add_div_by_0_guard' into 'main' · Jul 06, 2026
fix: missing div by 0 guard

Copyright © Eclipse Foundation AISBL. All rights reserved.     Privacy Policy | Terms of Use | Copyright Agent