External IP: Make lint happy

This commit is contained in:
Boris Kraut 2015-07-29 22:48:18 +02:00
parent 5949d63ea8
commit 5034da0c2e