Merge pull request #29156 from bluca/signal_dump_jobs
authorLuca Boccassi <bluca@debian.org>
Mon, 11 Sep 2023 19:41:09 +0000 (20:41 +0100)
committerGitHub <noreply@github.com>
Mon, 11 Sep 2023 19:41:09 +0000 (20:41 +0100)
commit93f42f034c1abe344d1f876360b371421e106c8d
treef72ff09317f1b929ebade6d49807201dd6146f47
parentf96a32c7f06995bd17daa311f491682f524e48a6
parent0112c37ce457db3cc0ffc16aeef6a67522fc7797
Merge pull request #29156 from bluca/signal_dump_jobs

core: dump jobs list on sigrtmin+18 with 0x500