Processed: Bug#945137 marked as pending in cinnamon-desktop

To: Norbert Preining <noreply@salsa.debian.org>
Cc: debian-cinnamon@lists.debian.org
Subject: Processed: Bug#945137 marked as pending in cinnamon-desktop
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Mon, 25 Nov 2019 11:33:08 +0000
Message-id: <[🔎] handler.s.U945137.157468128731447.transcript@bugs.debian.org>
References: <5ddbbac3cee49_3b23feac40bbb2c982c3@godard.mail> <[🔎] 20191120113807.zxarv42do47yi5fc@fatal.se>

Processing control commands:

> tag -1 pending
Bug #945137 [cinnamon-desktop] needlessly build-depends on deprecated gnome-doc-utils
Ignoring request to alter tags of bug #945137 to the same tags previously set

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

Reply to:

References:
- Bug#945137: needlessly build-depends on deprecated gnome-doc-utils
  - From: Andreas Henriksson <andreas@fatal.se>

Prev by Date: Bug#894218: cinnamon-control-center: really necessary to depend on GOA?
Next by Date: Bug#945523: muffin: please drop build-dependency on deprecated gnome-doc-utils
Previous by thread: Processed: Bug#945137 marked as pending in cinnamon-desktop
Next by thread: Bug#945138: needlessly build-depends on deprecated gnome-doc-utils
Index(es):
- Date
- Thread