Make sure we initialise local timers in redistribute
David Dickinson
Branch: bugfix/avoid_uninitialised_data_in_redistribute_timers
Branch: 8.1-RC
Merged
Merged pull request
Merged in bugfix/avoid_uninitialised_data_in_redistribute_timers (pull request #107)
Avoids potential use of uninitialised data in calls to time_message.