Skip to content

Correct RM_GetSharedAPI documentation.#11601

Merged
oranagra merged 1 commit intoredis:unstablefrom
yossigo:fix-get-shared-api-doc
Dec 8, 2022
Merged

Correct RM_GetSharedAPI documentation.#11601
oranagra merged 1 commit intoredis:unstablefrom
yossigo:fix-get-shared-api-doc

Conversation

@yossigo
Copy link
Collaborator

@yossigo yossigo commented Dec 8, 2022

Fix wrong API name i example doc

Fixes #11593

@yossigo yossigo requested a review from oranagra December 8, 2022 17:47
@oranagra oranagra merged commit 10e4f44 into redis:unstable Dec 8, 2022
madolson pushed a commit to madolson/redis that referenced this pull request Apr 19, 2023
enjoy-binbin pushed a commit to enjoy-binbin/redis that referenced this pull request Jul 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Confusing docs: RedisModule_GetSharedAPI

2 participants