Closed dvarrazzo closed 8 months ago
Fix for the crash reported in #589 unfortunately not tested to verify if the fix is complete.
coverage: 88.402%. remained the same when pulling 4d0dd6a95e3df609ae69b2b9808a074c927be2e3 on dvarrazzo:fix-set-changed-size into 0e5db7fe33eb07daa9458631376b5ce3b2422cad on mosquito:master.
Fix for the crash reported in #589 unfortunately not tested to verify if the fix is complete.