Redis extension 2.0.13 released

We are very pleased to announce the release of Redis extension version 2.0.13.

This version adds Redis 5.0 stream commands.

See the CHANGELOG for details.