diem-project/diem — pull request #432 by jrencz (2012-12-25 12:19:38+00:00)
Title: Malfunction in search index

Solution for issue #424