Minor tweak to location database to ease compilation
Pre-release
Pre-release
·
7 commits
to dune
since this release
Minor tweak to location database to ease compilation to get through opam checkin system. Reduces stack usage.