From 6bba39783f25286f8494b8d213f1e163db47b54a Mon Sep 17 00:00:00 2001
From: Ingo Schwarze <schwarze@openbsd.org>
Date: Fri, 20 Apr 2018 14:02:32 +0000
Subject: dedup issues

---
 TODO | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/TODO b/TODO
index 0e324d9c..afacf227 100644
--- a/TODO
+++ b/TODO
@@ -1,6 +1,6 @@
 ************************************************************************
 * Official mandoc TODO.
-* $Id: TODO,v 1.250 2018/04/10 00:52:30 schwarze Exp $
+* $Id: TODO,v 1.251 2018/04/20 14:02:32 schwarze Exp $
 ************************************************************************
 
 Many issues are annotated for difficulty as follows:
@@ -363,9 +363,11 @@ are mere guesses, and some may be wrong.
 
 --- HTML issues --------------------------------------------------------
 
-- duplicate names generate duplicate href="#..." attributes
+- duplicate names generate duplicate href="#..." anchor attributes
   possibly use "#..._<N>" suffixes?
   Jakub Klinkovsky <j dot l dot k at gmx dot com> 3 Oct 2017 21:23:36 +0200
+  see also the thread: gre(4): Rename duplicate sections
+  up to 20 Apr 2018 15:27:33 +0200
 
 - format ".IP *" etc. as <ul> rather than <dl>
   https://github.com/Debian/debiman/issues/67
@@ -467,6 +469,9 @@ are mere guesses, and some may be wrong.
 * warning issues
 ************************************************************************
 
+- warn about duplicate .Sh/.Ss heads
+  gre(4): Rename duplicate sections 20 Apr 2018 15:27:33 +0200
+
 - style message about macros inside .Bd -literal and .Dl, in particular
   font changing macros like .Cm, .Ar, .Fa (from the mdoclint TODO)
 
-- 
cgit v1.2.3-56-ge451