Merge pull request #290717 from f2k1de/mongodb-6.0.13

This commit is contained in:
Sandro 2024-02-24 00:49:52 +01:00 committed by GitHub
commit 5edced6f82
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -6,8 +6,8 @@ let
}; };
in in
buildMongoDB { buildMongoDB {
version = "6.0.12"; version = "6.0.13";
sha256 = "sha256-5orVFio+4HIzhs63KJdZ1RHOPoOMa9Uk/8bygRs1JoY="; sha256 = "sha256-BD3XrTdv4sCa3h37o1A2s3/R0R8zHiR59a4pY0RxLGU=";
patches = [ patches = [
(fetchpatch { (fetchpatch {
name = "mongodb-6.1.0-rc-more-specific-cache-alignment-types.patch"; name = "mongodb-6.1.0-rc-more-specific-cache-alignment-types.patch";