Processed: Re: Bug#683203: Rename 'web' to 'start a webserver'

To: Christian PERRIER <bubulle@debian.org>
Cc: debian-boot@lists.debian.org
Subject: Processed: Re: Bug#683203: Rename 'web' to 'start a webserver'
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Mon, 30 Jul 2012 00:51:05 +0000
Message-id: <[🔎] handler.s.C.134360922512645.transcript@bugs.debian.org>
References: <[🔎] 20120730004657.GE4611@mykerinos.kheops.frmug.org>

Processing commands for control@bugs.debian.org:

> tags 683203 - patch
Bug #683203 [installation-reports] Rename 'web' to 'start a webserver'
Removed tag(s) patch.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
683203: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=683203
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#683203: Rename 'web' to 'start a webserver'
  - From: Christian PERRIER <bubulle@debian.org>

Prev by Date: Bug#683203: Rename 'web' to 'start a webserver'
Next by Date: Bug#683233: debian-installer: ppc: /boot too small on guided partitioning
Previous by thread: Bug#683203: Rename 'web' to 'start a webserver'
Next by thread: Bug#413649: debian-installer-manual: Appendix D.3 should mention how to set password and ssh
Index(es):
- Date
- Thread