Dune 1.1.1
See full changelog
-
Fix
$ jbuilder --dev(#1104, fixes #1103, @rgrinberg) -
Fix dune exec when
--build-diris set to an absolute path (#1105, fixes #1101, @rgrinberg) -
Fix duplicate profile argument in suggested command when an external library is missing (#1109, #1106, @emillon)
-
-opaquewasn't correctly being added to modules without an interface. (#1108, fix #1107, @rgrinberg) -
Fix validation of library
namefields and make sure this validation also applies when thenameis derived from thepublic_name. (#1110, fix #1102, @rgrinberg) -
Fix a bug causing the toplevel
envstanza in the workspace file to be ignored when at least one context had(merlin)(#1114, @diml)