Emdek/otter — pull request #33 by Emdek (2014-01-04 18:09:26+00:00)
Title: Correctly destroy BookmarksManager

This fixes a crash introduced in commit 017724538f