Merge pull request #3078 from HuijingHei/karg-delete-array
authorColin Walters <walters@verbum.org>
Tue, 17 Oct 2023 13:44:24 +0000 (09:44 -0400)
committerGitHub <noreply@github.com>
Tue, 17 Oct 2023 13:44:24 +0000 (09:44 -0400)
karg-delete: support multiple times


Trivial merge