Move changelog for coq#18359 to correct category

Fix coq#18407
SkySkimmer · Dec 14, 2023 · c05c52c · c05c52c
1 parent 4f23351
commit c05c52c
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/...log/11-standard-library/18359-dune_35.rst → ...ucture-and-dependencies/18359-dune_35.rst b/...log/11-standard-library/18359-dune_35.rst → ...ucture-and-dependencies/18359-dune_35.rst