Assertion list for term "reported by martin ballaschk".

Results from Ascent++: 1
bug ReceivesActionreported by martin ballaschk 0.25