SMT was updated to version 3.0.38.
Following security issue was fixed:
Following non security issues were fixed:
upgrade
synchronize
{ "binaries": [ { "res-signingkeys": "3.0.38-52.26.1", "smt-support": "3.0.38-52.26.1", "smt": "3.0.38-52.26.1" } ] }
{ "binaries": [ { "smt-ha": "3.0.38-52.26.1" } ] }