From b1656fe62adb0bbbee4081b07eb42941b1c5696e Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sat, 29 Dec 2018 15:41:23 -0500 Subject: Correct spelling errors --- debian/patches/series | 1 + 1 file changed, 1 insertion(+) (limited to 'debian/patches/series') diff --git a/debian/patches/series b/debian/patches/series index 8e94de36..b098f303 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -4,3 +4,4 @@ 0004-5127-fails-on-mips.patch 0005-remove-ssrmatching.patch 0006-remove-tests-that-need-coqlib.patch +0007-spelling.patch -- cgit v1.2.3