Skip to content

1.11.2

Compare
Choose a tag to compare
@rgrinberg rgrinberg released this 20 Aug 10:40
· 8863 commits to main since this release

CHANGES:

  • Remove the optimisation of passing -nodynlink for executalbes when
    not necessary. It seems to be breaking things (see #2527, @diml)

  • Fix invalid library names in dune-package files. Only public names should
    exist in such files. (#2558, fix #2425, @rgrinberg)