Bugfix warn_outputdt_release_desync for NaN release times#1744

Merged

VeckoTheGecko merged 3 commits intomasterfrom

fix_outputdt_warning_for_nan_releasetimes

Oct 28, 2024

Commits on Oct 25, 2024

Fixing bug when warning is raised if release_times are NaN
erikvansebille
committed

Commits on Oct 28, 2024