From a4ec6697e45a006753bfd79c22f14524748df493 Mon Sep 17 00:00:00 2001 From: Yoni Rabkin Date: Mon, 19 Jun 2017 14:58:56 -0400 Subject: * AUTHORS: add trivial patch author --- AUTHORS | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'AUTHORS') diff --git a/AUTHORS b/AUTHORS index d6700bb..429428a 100644 --- a/AUTHORS +++ b/AUTHORS @@ -30,6 +30,15 @@ Yoni (Johnathan) Rabkin mathias.dahl Rasmus Pank Roulund + +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 + + ;; Local variables: ;; coding: utf-8 ;; End: -- cgit v1.2.3