facebook/rocksdb — pull request #181 by nanwu (2014-06-24 05:37:47+00:00)
Title: escaped the special characters and added a dot

Minor fixes on the script.