Ondřej Surý cdce681cf7 Remove unused dns_timer API ...

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

2022-02-16 10:49:48 +01:00

..

dns

Remove unused dns_timer API

2022-02-16 10:49:48 +01:00

dst

…

.clang-format

…