When editing a gif interface with a gateway we need to call system_routing_configure() for that gif interface.
Added by Seth Mos about 14 years ago
When editing a gif interface with a gateway we need to call system_routing_configure() for that gif interface.