[S] Change in onomondo-eim[master]: mnesia_db_euicc: rename timer_setparam to timer_rest