* AUTHORS: add trivial patch author

1 files changed, 9 insertions, 0 deletions

diff --git a/AUTHORS b/AUTHORS
index d6700bb..429428a 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -30,6 +30,15 @@ Yoni (Johnathan) Rabkin  <yrk@gnu.org>
 mathias.dahl 		 <mathias.dahl>
 Rasmus Pank Roulund      <emacs@pank.eu>
 
+
+The following is a list of people who contributed trivial patches,
+which is to say simple patches with a total of 12 lines or fewer. We
+started recording trivial patches this way in June of 2017, so trivial
+patches before that date would not appear below.
+
+David Michael	       	 <fedora.dm0@gmail.com>
+
+
 ;; Local variables:
 ;; coding: utf-8
 ;; End: