Processed: Re: Bug#895617: Cinnamon (Nemo): Missing extensions/plugins

To: Maximiliano Curia <maxy@gnuservers.com.ar>
Cc: debian-cinnamon@lists.debian.org
Subject: Processed: Re: Bug#895617: Cinnamon (Nemo): Missing extensions/plugins
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Mon, 16 Apr 2018 08:09:05 +0000
Message-id: <[🔎] handler.s.B895617.152386595913870.transcript@bugs.debian.org>
References: <[🔎] a82b9842a8cffe680346e0250a553288@gnuservers.com.ar> <[🔎] 78d40e00-bcf7-6b17-e18b-e0fd171cfe8d@web.de>

Processing control commands:

> severity -1 wishlist
Bug #895617 [cinnamon] Cinnamon (Nemo): Missing extensions/plugins
Severity set to 'wishlist' from 'normal'

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

Reply to:

References:
- Bug#895617: Cinnamon (Nemo): Missing extensions/plugins
  - From: Maximiliano Curia <maxy@gnuservers.com.ar>
- Bug#895617: Cinnamon (Nemo): Missing extensions/plugins
  - From: Peter Mueller <living.in.hh@web.de>

Prev by Date: Bug#895617: Cinnamon (Nemo): Missing extensions/plugins
Next by Date: Bug#895747: cinnamon - Missing close button in some themes in some dialog boxes
Previous by thread: Bug#895617: Cinnamon (Nemo): Missing extensions/plugins
Next by thread: Bug#895747: cinnamon - Missing close button in some themes in some dialog boxes
Index(es):
- Date
- Thread