Skip to content
This repository has been archived by the owner on Sep 16, 2024. It is now read-only.

MIC-000 bump jedis version #14

Merged
merged 1 commit into from
Dec 19, 2023
Merged

MIC-000 bump jedis version #14

merged 1 commit into from
Dec 19, 2023

Conversation

jkraml-staffbase
Copy link

No description provided.

@jkraml-staffbase jkraml-staffbase requested a review from a team December 19, 2023 14:33
@jkraml-staffbase jkraml-staffbase merged commit 5d8d10b into main Dec 19, 2023
1 check passed
@jkraml-staffbase jkraml-staffbase deleted the MIC-000-bump-jedis branch December 19, 2023 15:15
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants