feature: root_module in bootstrap#12238

rgrinberg merged 1 commit into

mainocaml/dune:mainfrom

ps/rr/feature__root_module_in_bootstrapocaml/dune:ps/rr/feature__root_module_in_bootstrapCopy head branch name to clipboard