From f76f265a851944b5dedcc3be5f3b5224b6ebda89 Mon Sep 17 00:00:00 2001
From: Eric Wong <e@80x24.org>
Date: Sun, 6 Sep 2015 06:59:13 +0000
Subject: update copyright headers and email addresses

In the future, it should be possible to use this:

    git ls-files | UPDATE_COPYRIGHT_HOLDER='all contributors' \
      UPDATE_COPYRIGHT_USE_INTERVALS=2 \
      xargs /path/to/gnulib/build-aux/update-copyright
---
 Documentation/design_notes.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Documentation/design_notes.txt')

diff --git a/Documentation/design_notes.txt b/Documentation/design_notes.txt
index 5bb68ce5..d96c8d82 100644
--- a/Documentation/design_notes.txt
+++ b/Documentation/design_notes.txt
@@ -144,5 +144,5 @@ where `n' is the number of history splits.
 
 Copyright
 ---------
-Copyright 2013-2015, all contributors <meta@public-inbox.org>
+Copyright 2013-2015 all contributors <meta@public-inbox.org>
 License: AGPLv3 or later <http://www.gnu.org/licenses/agpl-3.0.txt>
-- 
cgit v1.2.3-24-ge0c7