The basis for the recent coredump commit had the wrong attribution.
The new attribution is below. Submitted by: peter, ps
This commit is contained in:
parent
838c380fcf
commit
00dc754d32