mockingbirdnest/Principia — pull request #221 by pleroy (2014-10-21 17:57:09+00:00)
Title: The death of DeathMessage.

Fix #219.