ClouDev/CloudBot — pull request #268 by daboross (2014-04-13 22:26:28+00:00)
Title: Make correction plugin case-insensitive

Makes the correction use an (escaped) case-insensitive regex instead of str.replace