Added changelog entry for previous PR#12572

Alizter merged 2 commits intoocaml:mainocaml/dune:mainfrom

ElectreAAS:changelog-entry-runtest-watchElectreAAS/dune:changelog-entry-runtest-watchCopy head branch name to clipboard