25.01.2025 21:24, Philippe Mathieu-Daudé wrote:
- * You need not call an explicit deinit call. Simply make + * You need not call an explicit timer_deinit() call. Simply make * sure it is not on a list with timer_del.
Reworded this as "You need not call timer_deinit() explicitly. Simply make..." and applied to trivial-patches tree. Thanks, /mjt