JDShu/SCOPE — pull request #126 by maxwward (2013-03-09 18:21:20+00:00)
Title: Solution search bug fix

This migration fixes the text search vector triggers and functions on
the database so that problems with solutions can be searched.