Merge pull request #505 from dcbw/op-ordering
authorGabe Rosenhouse <rosenhouse@users.noreply.github.com>
Tue, 19 Sep 2017 03:20:24 +0000 (20:20 -0700)
committerGitHub <noreply@github.com>
Tue, 19 Sep 2017 03:20:24 +0000 (20:20 -0700)
spec: add notes about ADD/DEL ordering


Trivial merge