Allow extra options to be passed to "tinc restart" again.
[tinc] / src / linux /
drwxr-xr-x   ..
-rw-r--r-- 5385 device.c