From 77c8bb7252de2a002a853026563d95f28f2ee759 Mon Sep 17 00:00:00 2001
From: Johannes 'josch' Schauer <josch@mister-muffin.de>
Date: Tue, 21 Jan 2020 13:10:36 +0100
Subject: [PATCH] coverage.sh: fix typo in header message

---
 coverage.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coverage.sh b/coverage.sh
index 7c4c476..9e26f9a 100755
--- a/coverage.sh
+++ b/coverage.sh
@@ -1846,7 +1846,7 @@ else
 	skipped=$((skipped+1))
 fi
 
-print_header "mode=$defaultmode,variant=essential: test not having to installing apt with --include"
+print_header "mode=$defaultmode,variant=essential: test not having to install apt in --include because a hook did it before"
 cat << END > shared/test.sh
 #!/bin/sh
 set -eu