dschleck/edith — pull request #13 by lucasb-eyer (2013-09-23 19:40:11+00:00)
Title: Fix multiple death reports

I shouldn't put two things into a single pull request but meh :/

First commit is a minor missing include. Second one is the actual purpose of this pull-request, see commit-message for details.