Merge redis branch into main branch#17

ismiljanic merged 15 commits into

mainismiljanic/SyntaxBase:mainfrom

redisismiljanic/SyntaxBase:redisCopy head branch name to clipboard