1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-27 15:31:17 +01:00
Lucas Jenß 80b771af5e Merge pull request #4266 from A-Paul/shell_ping6_addrerr
ping6: dedicated message at address parsing error
2015-12-04 09:27:01 +01:00
..