errbit/errbit — pull request #508 by shingara (2013-06-18 13:48:32+00:00)
Title: Merge comment with problem during the merge of some problem

If you comment on several problem and this problem was merge. Comment are not merged too.