Skip to content

Updated documentation for not key#1799

Merged
oranagra merged 1 commit intoredis:masterfrom
madolson:master
Feb 27, 2022
Merged

Updated documentation for not key#1799
oranagra merged 1 commit intoredis:masterfrom
madolson:master

Conversation

@madolson
Copy link
Contributor

Doc change for redis/redis#10299

@oranagra oranagra added to-be-merged should probably be merged soon and removed waiting-for-upstream waiting for a redis PR to be merged labels Feb 22, 2022
@oranagra oranagra merged commit 404bc18 into redis:master Feb 27, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

to-be-merged should probably be merged soon

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants