diff --git a/doc/changes/10307.md b/doc/changes/10307.md new file mode 100644 index 00000000000..05a87a71ab1 --- /dev/null +++ b/doc/changes/10307.md @@ -0,0 +1,4 @@ +- allow libraries with the same `(name ..)` in projects as long as they don't + conflict during resolution (via `enabled_if`). (#10307, @anmonteiro, + @jchavarri) +