mirror of
https://github.com/neondatabase/neon.git
synced 2026-09-13 08:42:34 +00:00
use most recent main commit of history_buffer
The previous was an intermediate commit from a PR. At the version, we didn't have subsequent intermediary commit https://github.com/japaric/heapless/commit/0a21a56ad704155b0bd33e9e8c4fefe26082445f and that one is kinda important for what we want to do here.
This commit is contained in:
committed by
Christian Schwarz
parent
c9474483e5
commit
6548b831ab
Generated
+3
-3
@@ -143,9 +143,9 @@ dependencies = [
|
||||
|
||||
[[package]]
|
||||
name = "atomic-polyfill"
|
||||
version = "0.1.11"
|
||||
version = "1.0.1"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "e3ff7eb3f316534d83a8a2c3d1674ace8a5a71198eba31e2e2b597833f699b28"
|
||||
checksum = "d299f547288d6db8d5c3a2916f7b2f66134b15b8c1ac1c4357dd3b8752af7bb2"
|
||||
dependencies = [
|
||||
"critical-section",
|
||||
]
|
||||
@@ -1593,7 +1593,7 @@ dependencies = [
|
||||
[[package]]
|
||||
name = "heapless"
|
||||
version = "0.8.0"
|
||||
source = "git+https://github.com/japaric/heapless.git?rev=340e0cec99a73759a5704f726c2fa3eed8fc3af6#340e0cec99a73759a5704f726c2fa3eed8fc3af6"
|
||||
source = "git+https://github.com/japaric/heapless.git?rev=644653bf3b831c6bb4963be2de24804acf5e5001#644653bf3b831c6bb4963be2de24804acf5e5001"
|
||||
dependencies = [
|
||||
"atomic-polyfill",
|
||||
"hash32",
|
||||
|
||||
+1
-1
@@ -46,7 +46,7 @@ futures-core = "0.3"
|
||||
futures-util = "0.3"
|
||||
git-version = "0.3"
|
||||
hashbrown = "0.13"
|
||||
heapless = { default-features=false, features=[], git = "https://github.com/japaric/heapless.git", rev = "340e0cec99a73759a5704f726c2fa3eed8fc3af6" } # upstream release pending
|
||||
heapless = { default-features=false, features=[], git = "https://github.com/japaric/heapless.git", rev = "644653bf3b831c6bb4963be2de24804acf5e5001" } # upstream release pending
|
||||
hex = "0.4"
|
||||
hex-literal = "0.3"
|
||||
hmac = "0.12.1"
|
||||
|
||||
Reference in New Issue
Block a user