Fix incorrectly merged bits from 80cd2ff73071941a5356555b85a00ee90dfd0e16.
[tinc] / src / dummy_device.c
2011-12-04 Guus SliepenAllow linking with multiple device drivers.