Small cleanup / optimisation / clarification in itimer_delete() which I
noticed while doing other things…

Sebastian


Reply via email to