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