Merge pull request #1 from jcoleman/master#85

zhangwei5095 wants to merge 1 commit intojcoleman:masterjcoleman/tomcat-redis-session-manager:masterfrom

zhangwei5095:masterzhangwei5095/tomcat-redis-session-manager:masterCopy head branch name to clipboard