diff options
author | Rudi Floren <rudi.floren@gmail.com> | 2022-08-01 14:52:40 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-01 15:52:40 +0300 |
commit | 4ce3fd51b9fc6f627f4e81f1a98c8e350cc2e660 (patch) | |
tree | 786f87b42aae044a562e2435435ad5f87c1f534d /.github | |
parent | e13b6818742f67c515ceb98fe2fb6e587b1e2c70 (diff) | |
download | redis-4ce3fd51b9fc6f627f4e81f1a98c8e350cc2e660.tar.gz |
Fix wrong commands json docs for CLIENT KILL (#10970)
The docs state that there is a new and an old argument format.
The current state of the arguments allows mixing the old and new format,
thus the need for two additional oneof blocks.
One for differentiating the new from the old format and then one to
allow setting multiple filters using the new format.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions