Merge branch 'devel' into 'main'

inexistant boost subdirectory ?!

See merge request glicid-public/guix-glicid!382
This commit is contained in:
Yann Dupont 2024-03-25 17:22:40 +00:00
commit 9aecc29e72

View file

@ -43,7 +43,7 @@
"src/rapidjson" "src/rapidjson"
"src/spdk" "src/spdk"
"src/rocksdb" "src/rocksdb"
"src/boost" ; "src/boost" ; inexistant ??
"src/utf8proc"))))) "src/utf8proc")))))