-
Gregor Maier authored
Still needs more work: * we don't generate updates if a stored switch has changed yet * we don't deal with (unlikely) change of port name <-> number
Gregor Maier authoredStill needs more work: * we don't generate updates if a stored switch has changed yet * we don't deal with (unlikely) change of port name <-> number
Loading