Last year, valuation multiple for public across tech was about 2.6. That would make this contribution worth less than $11M in valuation.
Considering Redis raised about $350M, $11M valuation is minuscule compared to the expected valuation to make that investment worthwhile.