[notes] 01/01: remove obsolete comments

[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 83ad384037a96733846c7bf922485646f067caf5
Author: Mattia Rizzolo <mattia at debian.org>
Date:   Mon Nov 27 01:44:43 2017 +0100

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

diff --git a/packages.yml b/packages.yml
index e12e49e..5b64530 100644
--- a/packages.yml
+++ b/packages.yml
@@ -254,10 +254,6 @@ afterstep:
   version: 2.2.12-8
   issues:
     - records_build_flags
-agda:
-  version: 2.5.1.1-3
-  comments: |
-    Used to be blacklisted, but then ghc only runs into out-of-memory issues…
 agda-stdlib:
   version: 0.13-1
   bugs:
@@ -24884,10 +24880,6 @@ stfl:
   version: 0.22-1.3
   issues:
     - gcc_captures_build_path
-stgit:
-  version: 0.17.1-1
-  comments: |
-    Timestamp in HTML files
 stimfit:
   version: 0.15.4-1
   issues:

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