[Reproducible-commits] [notes] 01/01: Added a previous bug to gap, 820745 was marked as duplicate of 819730

Eduard Sanou dhole-guest at moszumanska.debian.org
Wed Apr 13 12:37:57 UTC 2016


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

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

commit 65b18139330b78ae76bf902c63b0f7bbbb01f188
Author: Eduard Sanou <dhole at openmailbox.org>
Date:   Wed Apr 13 14:37:42 2016 +0200

    Added a previous bug to gap, 820745 was marked as duplicate of 819730
---
 packages.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages.yml b/packages.yml
index d711d5f..adc1490 100644
--- a/packages.yml
+++ b/packages.yml
@@ -4045,6 +4045,7 @@ gap:
     - timestamps_in_pdf_generated_by_latex
   bugs:
     - 820745
+    - 819730
 gap-alnuth:
   version: 3.0.0-1
   issues:

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



More information about the Reproducible-commits mailing list