diff --git a/master_changes.md b/master_changes.md index 7b132e8fa56..2a1da6cb80f 100644 --- a/master_changes.md +++ b/master_changes.md @@ -28,6 +28,7 @@ users) ## Actions ## Install + * Check if with-test & with-doc depends are installed to launch a reinstall [#4513 @rjbou - fix #4507] ## Remove