From 13c5b5ecebdc156287b76d93c71039097895d38b Mon Sep 17 00:00:00 2001 From: Basile Burg Date: Fri, 17 Apr 2020 14:32:10 +0200 Subject: [PATCH] fix changelog typos --- CHANGELOG.md | 4 ++-- setup/delete-gitlab-artifacts.sh | 1 - 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 0ad39077..fea43048 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,10 +2,10 @@ ## Other -- Toolchain: removed he background tool _dastworx_ and replaced it with a library called _libdexed-d_. Although this will not change the user experience: +- Toolchain: removed the background tool _dastworx_ and replaced it with a library called _libdexed-d_. Although this will not change the user experience: - Thousands of system calls to create the process and read its streams are saved. - ddemangle not required anymore. - - crash in the new library will be fatal, i.e the IDE will have to be relaunched, while previously the tool was launched again, without significant impact on the IDE. + - crash in the new library will be fatal from now, i.e the IDE will have to be relaunched, while previously the __dastworx was launched again, without significant impact on the IDE. # v3.8.4 diff --git a/setup/delete-gitlab-artifacts.sh b/setup/delete-gitlab-artifacts.sh index 04abcfd8..34a31dfe 100644 --- a/setup/delete-gitlab-artifacts.sh +++ b/setup/delete-gitlab-artifacts.sh @@ -3,7 +3,6 @@ if [ -z "$PUB_DEXED_RLZ" ]; then exit 1 fi -export PUB_DEXED_RLZ="H_AUTBZCrxUsh-XYTSXz" curl -g --header "PRIVATE-TOKEN: $PUB_DEXED_RLZ" \ --header 'Content-Type: application/json' \ --request DELETE "https://gitlab.com/api/v4/projects/15908229/jobs/"$1"/artifacts"