Fix incorrectly merged bits from 80cd2ff73071941a5356555b85a00ee90dfd0e16.
authorGuus Sliepen <guus@tinc-vpn.org>
Tue, 10 Dec 2013 16:00:16 +0000 (17:00 +0100)
committerGuus Sliepen <guus@tinc-vpn.org>
Tue, 10 Dec 2013 16:00:16 +0000 (17:00 +0100)

No differences found