// directly access re-read gw_ext pointer, because when new_gw_extension was NULL, // and on (orig_node) had a gw_ext which was removed (first if-case) // pointer is not valid any more
// directly access re-read gw_ext pointer, because when new_gw_extension was NULL, // and on (orig_node) had a gw_ext which was removed (first if-case) // pointer is not valid any more