Processed: Re: Bug#314680: /usr/share/menu

To: Frank Lichtenheld <djpig@debian.org>
Cc: Debian Lintian Maintainers <lintian-maint@debian.org>(lintian #314187 #314680)
Subject: Processed: Re: Bug#314680: /usr/share/menu
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Fri, 17 Jun 2005 20:48:06 -0700
Message-id: <[🔎] handler.s.C.111906580429472.transcript@bugs.debian.org>
In-reply-to: <[🔎] 20050618033628.GE8422@djpig.de>
References: <[🔎] 20050618033628.GE8422@djpig.de>

Processing commands for control@bugs.debian.org:

> merge 314680 314187
Bug#314187: Please update menu checks to use /usr/share/menu
Bug#314680: /usr/share/menu
Merged 314187 314680.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Reply to:

References:
- Bug#314680: /usr/share/menu
  - From: Frank Lichtenheld <djpig@debian.org>

Prev by Date: Bug#314680: /usr/share/menu
Next by Date: Bug#314680: /usr/share/menu
Previous by thread: Bug#314680: /usr/share/menu
Next by thread: Bug#314680: marked as done (/usr/share/menu)
Index(es):
- Date
- Thread