Processed: Re: apt-get manpage: please document option --solver

To: Ximin Luo <infinity0@debian.org>
Cc: deity@lists.debian.org
Subject: Processed: Re: apt-get manpage: please document option --solver
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Thu, 18 Aug 2016 11:51:08 +0000
Message-id: <[🔎] handler.s.B674523.147152102022346.transcript@bugs.debian.org>
References: <[🔎] 147152099251.24166.9851839471682469898.reportbug@localhost.localdomain> <20120525083736.GG1483@pps.jussieu.fr>

Processing control commands:

> severity -1 important
Bug #674523 [apt] apt-get manpage: please document  option --solver
Severity set to 'important' from 'minor'

-- 
674523: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=674523
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#674523: apt-get manpage: please document option --solver
  - From: Ximin Luo <infinity0@debian.org>

Prev by Date: Bug#674523: apt-get manpage: please document option --solver
Next by Date: Bug#674523: apt-get manpage: please document option --solver
Previous by thread: Bug#674523: apt-get manpage: please document option --solver
Next by thread: Bug#674523: apt-get manpage: please document option --solver
Index(es):
- Date
- Thread