[notes] 01/01: Add new randomness_in_property_annotations_generated_by_sphinx toolchain issue.

[Chris Lamb]

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

lamby pushed a commit to branch master
in repository notes.

commit 3c7525448ad12e53e93b6185851a4ce9444d5022
Author: Chris Lamb <lamby at debian.org>
Date:   Tue Nov 15 11:20:49 2016 +0000

    Add new randomness_in_property_annotations_generated_by_sphinx toolchain issue.
---
 issues.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/issues.yml b/issues.yml
index 68238ed..5f9859f 100644
--- a/issues.yml
+++ b/issues.yml
@@ -427,6 +427,10 @@ randomness_in_documentation_indices_generated_by_sphinx:
     There might be other missing sorts or dict key sorting beyond the pull
     request already sent.
   url: https://github.com/sphinx-doc/sphinx/pull/1699
+randomness_in_property_annotations_generated_by_sphinx:
+  description: |
+    visit_desc_annotation in sphinx/writers/html.py (?) causes -- for example -- sets
+    to be serialised in a nondeterminstic order.
 randomness_in_icc_colour_profiles:
   description: |
     International Color Consortium .icc colour profiles have some issue.

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