[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



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: