Merge pull request #1444 from grumvalski/redis_server_len_fix
authorFederico Cabiddu <federico.cabiddu@gmail.com>
Fri, 16 Feb 2018 12:00:04 +0000 (13:00 +0100)
committerGitHub <noreply@github.com>
Fri, 16 Feb 2018 12:00:04 +0000 (13:00 +0100)
ndb_redis: fix check on server name len when adding a new server to t…


Trivial merge