[notes] 01/02: removing obsolete issue random_anchor_names_generated_by_docbook_to_man

[Justin Cappos]

This is an automated email from the git hooks/post-receive script.

justincappos-guest pushed a commit to branch master
in repository notes.

commit fed008dcaf498fd7cb4320f1e1327999dd977478
Author: Justin Cappos <jcappos at nyu.edu>
Date:   Sat May 6 14:45:12 2017 -0400

    removing obsolete issue random_anchor_names_generated_by_docbook_to_man
---
 issues.yml | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/issues.yml b/issues.yml
index c419255..1bce658 100644
--- a/issues.yml
+++ b/issues.yml
@@ -87,13 +87,6 @@ timestamps_in_documentation_generated_by_asciidoctor:
     asciidoctor embeds the build date into generated manpages which vary by TZ.
   url: https://bugs.debian.org/820435
   deterministic: True
-random_anchor_names_generated_by_docbook_to_man:
-  status:
-    done
-  description: |
-    docbook-to-man uses non-deterministic <a> anchor names
-    maybe fixable using something like https://patchwork.freedesktop.org/patch/69511/ ?
-  url: https://bugs.debian.org/800797
 timestamps_in_documentation_generated_by_man2html:
   description: |
     man2html adds a timestamp at the end of a generated HTML file.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/notes.git