From 44a662c3f1fd9b0acc5afc5aeffb3d73d40b7578 Mon Sep 17 00:00:00 2001 From: Remy Willems Date: Tue, 28 Jan 2025 11:19:38 +0100 Subject: [PATCH] Add release notes --- docs/dev/news/6078.feat | 1 + 1 file changed, 1 insertion(+) create mode 100644 docs/dev/news/6078.feat diff --git a/docs/dev/news/6078.feat b/docs/dev/news/6078.feat new file mode 100644 index 0000000000..5f0c9fb54f --- /dev/null +++ b/docs/dev/news/6078.feat @@ -0,0 +1 @@ +The options --iterations from the command `measure-complexity`, has been renamed to `--mutations`. The option `--progress VerificationJob` has been renamed to `--progress Batch`. \ No newline at end of file