Processed: Re: Bug#993475: installation-guide: Linux is no operating system, GNU/Linux is

To: Holger Wansing <hwansing@mailbox.org>
Cc: debian-boot@lists.debian.org
Subject: Processed: Re: Bug#993475: installation-guide: Linux is no operating system, GNU/Linux is
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Fri, 10 Sep 2021 16:39:02 +0000
Message-id: <[🔎] handler.s.B993475.163129168029562.transcript@bugs.debian.org>
References: <[🔎] 20210910183430.aaece0558f4c460f8bb381ef@mailbox.org> <[🔎] 163052655403.19408.2382721169547711922.reportbug@localhost>

Processing control commands:

> tags -1 + pending
Bug #993475 [installation-guide] installation-guide: Linux is no operating system, GNU/Linux is
Added tag(s) pending.

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

Reply to:

References:
- Bug#993475: installation-guide: Linux is no operating system, GNU/Linux is
  - From: Holger Wansing <hwansing@mailbox.org>
- Bug#993475: installation-guide: Linux is no operating system, GNU/Linux is
  - From: Erik Pfannenstein <debianignatz@gmx.de>

Prev by Date: Bug#993475: installation-guide: Linux is no operating system, GNU/Linux is
Next by Date: Re: 11.1 and 10.11 planning
Previous by thread: Bug#993475: installation-guide: Linux is no operating system, GNU/Linux is
Next by thread: Bug#935334: marked as done (debootstrap: man page says that --include will add package to download and extract list, but an experiment shows opposite)
Index(es):
- Date
- Thread