Update rfd/0003-ooi-hashing.md

Co-authored-by: JP Bruins Slot <[email protected]>
minvws · Jan 2, 2025 · 28e6d06 · 28e6d06
1 parent a750832
commit 28e6d06
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/rfd/0003-ooi-hashing.md b/rfd/0003-ooi-hashing.md
@@ -129,3 +129,7 @@ Personally, I would opt for `hasher_1` as it more flexible and faster, but
 `hasher_2` is easier to maintain; also open to other suggestions.
 
 So how do we proceed to solve this problem?
+
+## References
+- Issue #3808: has to be solved either in that branched or before that branch is merged.
+- Issue #4000: original issue and discussion