richfaces/core — pull request #12 by chkal (2012-11-05 13:51:09+00:00)
Title: Fixed swallowed PushCDIMessageException

Just saw this while browsing the code. I think there is a `throw` missing. :)