[sr-dev] git:master:125db2c3: Merge pull request #1213 from christoph-v/ims_get_body_coredump