Skip to content

Remove unused dns_timer API

Ondřej Surý requested to merge ondrej/remove-dns_timer-API-v9_18 into v9_18

The dns_timer API was unused, and this commit just removes it.

(cherry picked from commit cdce681c)

Merge request reports