]> git.apps.os.sepia.ceph.com Git - ceph-ci.git/commitdiff
Merge pull request #58428 from cbodley/wip-rm-boost-redis-again
authorCasey Bodley <cbodley@users.noreply.github.com>
Thu, 4 Jul 2024 20:16:15 +0000 (21:16 +0100)
committerGitHub <noreply@github.com>
Thu, 4 Jul 2024 20:16:15 +0000 (21:16 +0100)
submodule: remove the boost_redis submodule again

Reviewed-by: Adam Emerson <aemerson@redhat.com>

Trivial merge