Nix: add comment regarding rocksdb

Open dannywillems opened this issue 8 months ago • 1 comments

Adding a comment to inform future developers, pointing to https://github.com/MinaProtocol/mina/pull/17343.

cc @dkijania for a follow-up on our conversation in DM.

Jun 05 '25 20:06 dannywillems

relevant: #17347

Jun 06 '25 12:06 L-as

!ci-build-me

Sep 11 '25 13:09 dkijania