josephg/ShareJS — pull request #186 by robogeek (2013-04-06 15:42:16+00:00)
Title: Update setup_mysql

I suppose the message is meaning to say the options.js file should say mysql. The message instead says postgresql.