Added by Diogo Miguel Ferreira Rodrigues over 5 years ago
restored timer_unsubscribe_int to original prototype
View differences