Commit 6945acb4 authored by david's avatar david
Browse files

Proper handling for aborted timers. #78

parent 847c7ca1
Pipeline #1031 failed with stage