#5194 Improve warning for unattached post-event(s)

[David Kastrup]

Improve warning for unattached post-event(s)

Insertion of <> was considered too confusing in the given warning:
this isn't mentioned any more. Additionally, for multiple post events
in a row, a warning is given for every one. Also, the type of the
post event is printed.

http://codereview.appspot.com/328630043

[Anonymous]

Passes make, make check and a full make doc.

[Anonymous]

Patch on countdown for Sept 23rd

[Anonymous]

Patch counted down - please push

[David Kastrup]

Pushed to staging as
commit f380b23d379748c34a1319536db04770309d8444
Author: David Kastrup dak@gnu.org
Date: Sat Sep 16 13:48:58 2017 +0200

Issue 5194: Improve warning for unattached post-event(s)

Insertion of <> was considered too confusing in the given warning:
this isn't mentioned any more.  Additionally, for multiple post events
in a row, a warning is given for every one.  Also, the _type_ of the
post event is printed.