[notes] 01/01: Tag gri with timestamps_in_ps_generated_by_dvips

[Emanuel Bronshtein]

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

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

commit 7cd2190fcdc0a7426474456ceb3cf149dab82a59
Author: Emanuel Bronshtein <e3amn2l at gmx.com>
Date:   Tue Oct 11 12:56:28 2016 +0300

    Tag gri with timestamps_in_ps_generated_by_dvips
---
 packages.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages.yml b/packages.yml
index 512b309..c8d38b8 100644
--- a/packages.yml
+++ b/packages.yml
@@ -9225,6 +9225,7 @@ gri:
   issues:
     - timestamps_in_png
     - timestamps_in_dvi_generated_by_latex
+    - timestamps_in_ps_generated_by_dvips
 grib-api:
   version: 1.15.0-4
   issues:

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