diff options
| author | Ghanan Gowripalan <ghanan@google.com> | 2021-06-14 15:27:01 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-06-14 15:29:42 -0700 |
| commit | d4af8da36160643614cae2405c5d829bb7c1bf78 (patch) | |
| tree | baa7531f65bd8402363f6250cb73a9638d74273a /website/_includes/footer.html | |
| parent | b9db1c03131bbbb76347b4f0266f1eb440dea1ec (diff) | |
Rename DefaultRouter event to OffLinkRoute event
This change prepares for a later change which supports the NDP
Route Information option to discover more-specific routes, as
per RFC 4191.
Updates #6172.
PiperOrigin-RevId: 379361330
Diffstat (limited to 'website/_includes/footer.html')
0 files changed, 0 insertions, 0 deletions