From 597011e3a9cd9837aa7586196a54c38e659e09fb Mon Sep 17 00:00:00 2001 From: Jakob Borg Date: Tue, 23 Dec 2014 10:23:36 +0100 Subject: [PATCH] Disregard change to removed doc --- check-contrib.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/check-contrib.sh b/check-contrib.sh index 66167fa96..37f52a37c 100755 --- a/check-contrib.sh +++ b/check-contrib.sh @@ -15,7 +15,8 @@ no-docs-typos() { grep -v f0621207e3953711f9ab86d99724f1d0faac45b1 |\ grep -v f1120d7aa936c0658429edef0037792520b46334 |\ grep -v a9339d0627fff439879d157c75077f02c9fac61b |\ - grep -v 254c63763a3ad42fd82259f1767db526cff94a14 + grep -v 254c63763a3ad42fd82259f1767db526cff94a14 |\ + grep -v 4b76ec40c07078beaa2c5e250ed7d9bd6276a718 } print-missing-authors() {