Cherry-pick 'Add redis properties' into release/0.16

Review changes
Open in Workspace
Download
Patches
Plain diff

Cherry-pick 'Add redis properties' into release/0.16

David Diederichrequested to merge

cherry-pick-b654752e into release/0.16 Aug 12, 2022

Overview 0
Commits 1
Pipelines 2
Changes 1

Original MR: !420 (merged)

Merge request reports

Assignee Loading

Reviewers Loading

Request review from

Loading

Time tracking Loading

Loading