PDU check 5 should consult state before an event (#1070)
parent
58f960e5cc
commit
c4e54509db
@ -0,0 +1 @@
|
||||
Clarify that checks on PDUs should refer to the state _before_ an event.
|
Loading…
Reference in New Issue