o changeset: 21:50cdd5d796ae | tag: tip | user: "Nicolai Petri <nicolai at petri.dk>" | date: Fri Dec 02 08:25:57 2011 +0100 | summary: Slightly change model for interface adresses. |