Processed: Re: Bug#935250: , #935252: buster-pu: mutter, gnome-shell

To: "Adam D. Barratt" <adam@adam-barratt.org.uk>
Cc: debian-release@lists.debian.org
Subject: Processed: Re: Bug#935250: , #935252: buster-pu: mutter, gnome-shell
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sun, 22 Sep 2019 15:06:10 +0000
Message-id: <[🔎] handler.s.B935250.156916455413976.transcript@bugs.debian.org>
References: <[🔎] e389f63df76ff7237805895fd71496a85c8e4d46.camel@adam-barratt.org.uk> <20190821074131.GA27675@espresso.pseudorandom.co.uk>

Processing control commands:

> tags -1 + confirmed
Bug #935250 [release.debian.org] buster-pu: package mutter 3.30.2-9~deb10u1
Added tag(s) confirmed.

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

Reply to:

References:
- Bug#935250: , #935252: buster-pu: mutter, gnome-shell
  - From: "Adam D. Barratt" <adam@adam-barratt.org.uk>

Prev by Date: Bug#940943: buster-pu: package gnustep-base/1.26.0-4+deb10u1
Next by Date: Bug#935250: , #935252: buster-pu: mutter, gnome-shell
Previous by thread: Bug#935250: , #935252: buster-pu: mutter, gnome-shell
Next by thread: Processed: Re: Bug#935250: , #935252: buster-pu: mutter, gnome-shell
Index(es):
- Date
- Thread