Benjamin Valentin a65daf7a31 shell/gnrc_icmpv6_echo: set success state if DNS query succeeded
We need to set `res` to 0 to signal success, otherwise we end up
in the print usage case.
2020-02-24 14:21:54 +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