ggreer/the_silver_searcher — pull request #291 by n0la (2013-11-04 17:08:22+00:00)
Title: Fixed a segmentation fault in the options handling.

There was no space for the last NULL, and the indexing for adding the last
NULL was also wrong and out of scope.