ajkl/researchorum — pull request #20 by dtx (2013-08-05 08:04:44+00:00)
Title: Comment types and some frontend fixes.

Now comments can have types. This information can be used for all kinds of things. Refer issue ajkl/researchorum#18.