Closed satra closed 5 months ago
@satra this is the branch that fix nimh-minimal, right? and we can merge it directly? I went back to check your commit in nimh-nimimal, I couldn't see where you used this branch maybe it's the merge from your forked repo https://github.com/ReproNim/nimh-minimal/commit/fdc4f542a3a1d624e81d5fa6dcb76481cc113740#diff-b424a02422d493cc8148195cf644e17309e80eea782530a75d2cc58999410ce5
i'll merge this. the commitish was used in config in nimh-minimal
opening a PR so that we can review the changes, and make fixes as needed.