path: root/doc/changelog/08-tools/11357-master.rst

- **Fixed:**
  ``coq_makefile`` does not break when using the ``CAMLPKGS`` variable
  together with an unpacked (``mllib``) plugin. (`#11357
  <https://github.com/coq/coq/pull/11357>`_, by Gaëtan Gilbert).