[notes] 01/01: remove obsolete comment

[Mattia Rizzolo]

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

mattia pushed a commit to branch master
in repository notes.

commit 89905c004ceb6e5b23ecd9805a4ab1c1389b663c
Author: Mattia Rizzolo <mattia at debian.org>
Date:   Thu Oct 26 17:31:07 2017 +0200

    remove obsolete comment
    
    Signed-off-by: Mattia Rizzolo <mattia at debian.org>
---
 packages.yml | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/packages.yml b/packages.yml
index bfb2a96..587147c 100644
--- a/packages.yml
+++ b/packages.yml
@@ -26647,11 +26647,6 @@ velvet:
   version: 1.2.10+dfsg1-3
   issues:
     - random_id_in_pdf_generated_by_dblatex
-verilator:
-  version: 3.864-1
-  comments: |
-    Adds timestamp. Not sure if used anywhere. Patch for toggle would be rather invasive.
-    https://sources.debian.net/src/verilator/3.864-1/include/verilated_vcd_c.cpp/?hl=350#L352
 veusz:
   version: 1.21.1-1
   issues:

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