From 29408e8b1d6efec3a416a761742e5cceae381d19 Mon Sep 17 00:00:00 2001
From: Mathieu Lirzin <mthl@gnu.org>
Date: Fri, 15 Sep 2017 12:04:19 +0200
Subject: [PATCH] maint: Document how to handle assignment exemption

* HACKING: Update.
---
 HACKING | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/HACKING b/HACKING
index e34870b84..3a0b22cca 100644
--- a/HACKING
+++ b/HACKING
@@ -274,6 +274,12 @@
       ... removed in commit 'v1.11-1674-g02e9072' of 01-01-2012,
       "dist: ditch support for lzma"...
 
+* If the commit is a tiny change that is exempt from copyright paperwork, the
+  commit message should contain a separate line after the detailed list of
+  touched files like the following:
+
+      Copyright-paperwork-exempt: yes
+
 ============================================================================
 = Test suite
 
-- 
2.11.4.GIT