diff options
| author | Gitlab CI Runner | 2018-06-06 22:23:44 +0000 |
|---|---|---|
| committer | Gitlab CI Runner | 2018-06-06 22:23:44 +0000 |
| commit | fc8081e1b35d55dc2008843c263caa31d0a67036 (patch) | |
| tree | ee16c5c89a6679d667b71ab538e2bd8a70b0fb54 /exec-helper.changelog | |
| parent | ea5d5826a8cdb865bf3c10a92da2bb045eaf0fdc (diff) | |
| download | aur-fc8081e1b35d55dc2008843c263caa31d0a67036.tar.gz | |
Updated exec-helper-git package to exec-helper commit e471a2bf92d224fe26341a9d70be98c8c6ad5571
Diffstat (limited to 'exec-helper.changelog')
| -rw-r--r-- | exec-helper.changelog | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/exec-helper.changelog b/exec-helper.changelog index 4635684c9107..5c4930bf8b4c 100644 --- a/exec-helper.changelog +++ b/exec-helper.changelog @@ -71,6 +71,8 @@ New Fix ~~~ +- CI: Disabled coverity job, as their site is currently in maintenance + mode for already quite a while... [Bart Verhagen] - CI: Lowered building with multiple threads to fix issues when compiling on the CI system. [Bart Verhagen] |