a821e7134b
following "panic:" or "Fatal trap". `panicstr' is still printed, although it is redundant if there is a valid message buffer and incomplete if it contains `%'s. I think the awk command belongs here and not in a script since a standard format with complete messages is good for bug reports.