Benjamin Valentin f5a5c5dd2c shell/gnrc_icmpv6_echo: fix build with USEMODULE += sock_dns
To be able to call sock_dns_query() in _configure(), we also
need to include the header file.
2020-02-21 23:56:33 +01:00
..
2019-08-02 10:37:47 +02:00
2019-11-23 22:39:38 +01:00
2019-11-23 22:39:07 +01:00
2019-03-25 14:10:04 +01:00
2017-11-13 18:44:15 +01:00
2019-11-28 19:15:34 +01:00
2019-11-23 22:39:07 +01:00