0.25.1

Bhushan Parakh

@bhushan.ska

6bfd5955 · Merge branch 'hm-547' into 'master' · Oct 24, 2024

* Fixed a bug in the usage of flag is_operation_aborted