Update changelog
This commit is contained in:
parent
232acdd92f
commit
2acbc72f76
|
@ -13,6 +13,12 @@ next
|
||||||
- Accept and ignore `ppx.driver` fields in library stanzas, in
|
- Accept and ignore `ppx.driver` fields in library stanzas, in
|
||||||
preparation for the generic ppx driver system (#588)
|
preparation for the generic ppx driver system (#588)
|
||||||
|
|
||||||
|
- Change the default behavior regarding the check for overlaps between
|
||||||
|
local and installed libraries. Now even if there is no link time
|
||||||
|
conflict, we don't allow an external dependency to overlap with a
|
||||||
|
local library, unless the user specifies `allow_overlapping_dependencies`
|
||||||
|
in the jbuild file (#587, fixes #562)
|
||||||
|
|
||||||
1.0+beta18 (25/02/2018)
|
1.0+beta18 (25/02/2018)
|
||||||
-----------------------
|
-----------------------
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue