Merge pull request #23831 from jonasjelonek/croc-9.6.15
authorJosef Schlehofer <pepe.schlehofer@gmail.com>
Sun, 7 Apr 2024 07:41:44 +0000 (09:41 +0200)
committerGitHub <noreply@github.com>
Sun, 7 Apr 2024 07:41:44 +0000 (09:41 +0200)
croc: update to 9.6.15


Trivial merge