Merge pull request #30384 from YHNdnzj/rename-process
authorMike Yuan <me@yhndnzj.com>
Sat, 9 Dec 2023 11:04:07 +0000 (19:04 +0800)
committerGitHub <noreply@github.com>
Sat, 9 Dec 2023 11:04:07 +0000 (19:04 +0800)
commit32a0004c62a699754297659a022cd6ab00e91e92
tree169dc877faa132aa0783c4deb65c7f23b9a25d07
parent2b2f192a0eed222449096f97eb1a734bbd96155d
parentb041175e0894c8b2607e5cc8bc8b5e4ab9f53553
Merge pull request #30384 from YHNdnzj/rename-process

core/executor: save argv for later use by rename_process()