[notes] 01/01: mensis RM

[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 3cb40afec903952da5fec7c1798ffd6a0cbfb46e
Author: Chris Lamb <lamby at debian.org>
Date:   Sun Dec 10 20:38:18 2017 +0000

    mensis RM
---
 packages.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/packages.yml b/packages.yml
index 78d39c5..fe1e63e 100644
--- a/packages.yml
+++ b/packages.yml
@@ -14487,10 +14487,6 @@ menhir:
   version: 20160808+dfsg-1
   issues:
     - captures_build_path
-mensis:
-  version: 0.0.080507-4
-  bugs:
-    - 840393
 menu:
   version: 2.1.47
   issues:

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