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)
commit6614adf4a42990cf3b400c119835fb3e5650a364
tree947037cae276301ee129605ccf9a55f6622ac5e4
parentb7c7ec76ed6b5b417326bd85dac83525a69ecd7b
parentc0ca8f4db90222e1a6719a3bbf8d8b16ea444de9
Merge pull request #505 from dcbw/op-ordering

spec: add notes about ADD/DEL ordering