[notes] 02/04: Add new timestamps_in_documentation_generated_by_ocamldoc 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 551316e73c5c632df22662c3935919a39b2935fd
Author: Chris Lamb <lamby at debian.org>
Date:   Tue Aug 30 00:19:10 2016 +0100

    Add new timestamps_in_documentation_generated_by_ocamldoc issue
---
 issues.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/issues.yml b/issues.yml
index 5e6c364..c136a2b 100644
--- a/issues.yml
+++ b/issues.yml
@@ -668,6 +668,9 @@ randomness_in_ocaml_provides:
     fixes this.
     .
     Seems like this can affect Depends too. eg. labltk
+timestamps_in_documentation_generated_by_ocamldoc:
+  description: |
+    eg. API listings in locale order
 timestamp_in_pear_registry_files:
   description: |
     PEAR registry files are serialized PHP objects that contain a timestamp.

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