You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is the analog to ballot comment JP-21, ordering the
Requires/Effects/Returns clauses correctly through clause
26. A couple of re-orderings are deliberately skipped,
due to a dependency in the wording, introducing terms in
the out-of-order elements.
0 commit comments