RIOT-OS/RIOT — pull request #351 by OlegHahm (2013-11-20 22:55:29+00:00)
Title: make TCP in destiny optional

as a workaround