The following errata report has been submitted for RFC7855,
"Source Packet Routing in Networking (SPRING) Problem Statement and 
Requirements".

--------------------------------------
You may review the report below and at:
http://www.rfc-editor.org/errata/eid5384

--------------------------------------
Type: Editorial
Reported by: James Bensley <[email protected]>

Section: 3.3.1.1.1

Original Text
-------------
      C1k has a link to C2j iff k = j.

         The core nodes of a given region are directly connected.
         Inter-region links only connect core nodes of the same plane.

      {C1k has a link to C1j} iff {C2k has a link to C2j}.

Corrected Text
--------------
      C1k has a link to C2j if k = j.

         The core nodes of a given region are directly connected.
         Inter-region links only connect core nodes of the same plane.

      {C1k has a link to C1j} if {C2k has a link to C2j}.

Notes
-----
Does "iff" mean something special that is different to "if" or is this a typo? 
If the former, should it be called out in a glossary?

Instructions:
-------------
This erratum is currently posted as "Reported". If necessary, please
use "Reply All" to discuss whether it should be verified or
rejected. When a decision is reached, the verifying party  
can log in to change the status and edit the report, if necessary. 

--------------------------------------
RFC7855 (draft-ietf-spring-problem-statement-08)
--------------------------------------
Title               : Source Packet Routing in Networking (SPRING) Problem 
Statement and Requirements
Publication Date    : May 2016
Author(s)           : S. Previdi, Ed., C. Filsfils, Ed., B. Decraene, S. 
Litkowski, M. Horneffer, R. Shakir
Category            : INFORMATIONAL
Source              : Source Packet Routing in Networking
Area                : Routing
Stream              : IETF
Verifying Party     : IESG

_______________________________________________
spring mailing list
[email protected]
https://www.ietf.org/mailman/listinfo/spring

Reply via email to