From 7eb8e7d73e490e1a634f080ba82706e86a67d48a Mon Sep 17 00:00:00 2001 From: Wlodek Wencel Date: Thu, 21 Jul 2022 18:07:48 +0200 Subject: [PATCH] fixed pipeline after ChangeLog edit --- ChangeLog | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 53c8914ed7..a961ab484e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -30,8 +30,8 @@ (Gitlab #2473) 2036. [build] andrei - Added a tool that checks whether there are any missing REST commands - from the API Reference section of the ARM. + Added a tool that checks whether there are any missing REST + commands from the API Reference section of the ARM. See tools/check-for-missing-api-commands.sh. It has been integrated into Gitlab CI and runs on every push. (Gitlab #2379) -- 2.47.2