From 68c9013db490dfa7fbaa4f1d4bd7c282cdd77825 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 24 Jan 2017 13:33:33 +0000
Subject: [PATCH] wiringpi: changelog: Mention that wiringpi not in Debian
 proper

---
 debian/changelog | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 382d20d..0d6844b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
 chiark-tcl (1.1.4~~iwj) UNRELEASED; urgency=low
 
-  * wiringpi module.
+  * wiringpi module.  Built only if the wiringpi headers are actually
+    installed (so not in the official Debian release).
 
  -- Ian Jackson <ijackson@chiark.greenend.org.uk>  Tue, 24 Jan 2017 13:14:06 +0000
 
-- 
2.30.2