]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #63190 from adamemerson/wip-gcc15-rocksdb-cstdint
authorIlya Dryomov <idryomov@gmail.com>
Fri, 10 Oct 2025 08:41:24 +0000 (10:41 +0200)
committerGitHub <noreply@github.com>
Fri, 10 Oct 2025 08:41:24 +0000 (10:41 +0200)
build: Modify rocksdb submodule

Reviewed-by: Ilya Dryomov <idryomov@gmail.com>
Reviewed-by: Casey Bodley <cbodley@redhat.com>
Reviewed-by: Kefu Chai <tchaikov@gmail.com>

Trivial merge