Skip to content

[pull] master from mongodb:master#2682

Merged
pull[bot] merged 26 commits intoMu-L:masterfrom
mongodb:master
Nov 1, 2023
Merged

[pull] master from mongodb:master#2682
pull[bot] merged 26 commits intoMu-L:masterfrom
mongodb:master

Conversation

@pull
Copy link
Copy Markdown

@pull pull bot commented Oct 31, 2023

See Commits and Changes for more details.


Created by pull[bot]

Can you help keep this open source service alive? 💖 Please sponsor : )

Fefer-Ivan and others added 17 commits October 31, 2023 10:37
@pull pull bot added the ⤵️ pull label Oct 31, 2023
Steve Gross and others added 9 commits October 31, 2023 20:29
…ch mongodb-master

ref: 905dfabdd3..b784870d06
for: 7.2.0-rc0

WT-11820 Create a test that takes a backup during compaction
…ch mongodb-master

ref: b784870d06..82a43d0331
for: 7.2.0-rc0

WT-11873 Add stat if capacity exceeded bitmap
…ch mongodb-master

ref: 82a43d0331..9292d86789
for: 7.2.0-rc0

WT-11886 Cleanup expressions using boolean options
@pull pull bot merged commit 7f29a2c into Mu-L:master Nov 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.