Merge pull request #26324 from yuwata/argv-util-update-short-name
authorYu Watanabe <watanabe.yu+github@gmail.com>
Tue, 7 Feb 2023 03:08:07 +0000 (12:08 +0900)
committerGitHub <noreply@github.com>
Tue, 7 Feb 2023 03:08:07 +0000 (12:08 +0900)
commit8586e8ab84b46d22ce904a84b6f1c3f798dad24e
tree507ab0ec53cda8eaa15e6d22a59f94d2f395d823
parent5746c8296818e68b2a06fcc783850422d46c5ef4
parentdd15e4cb57129b915e01495e113696bfe0b70214
Merge pull request #26324 from yuwata/argv-util-update-short-name

argv-util: also update short invocation name