Processed: Re: Bug#872998: transition: PHP 7.0 to 7.1

To: Emilio Pozuelo Monfort <pochu@debian.org>
Cc: debian-bugs-forwarded@lists.debian.org, debian-release@lists.debian.org
Subject: Processed: Re: Bug#872998: transition: PHP 7.0 to 7.1
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sun, 10 Sep 2017 09:27:05 +0000
Message-id: <[🔎] handler.s.B872998.15050355367416.transcript@bugs.debian.org>
References: <[🔎] 07812653-bcdf-e9ec-2ca2-eaf2eefcfbf5@debian.org> <150349433458.25484.6206651559356187016.reportbug@komorebi.rfc1925.org>

Processing control commands:

> forwarded -1 https://release.debian.org/transitions/html/php7.1.html
Bug #872998 [release.debian.org] transition: PHP 7.0 to 7.1
Set Bug forwarded-to-address to 'https://release.debian.org/transitions/html/php7.1.html'.
> tags -1 confirmed
Bug #872998 [release.debian.org] transition: PHP 7.0 to 7.1
Added tag(s) confirmed.

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

Reply to:

References:
- Bug#872998: transition: PHP 7.0 to 7.1
  - From: Emilio Pozuelo Monfort <pochu@debian.org>

Prev by Date: Bug#872998: transition: PHP 7.0 to 7.1
Next by Date: Bug#874570: marked as done (nmu: php-facedetect_1.1.0+git20160406-3)
Previous by thread: Bug#872998: transition: PHP 7.0 to 7.1
Next by thread: Bug#872297: marked as done (nmu: tome_2.4~0.git.2015.12.29-1.1)
Index(es):
- Date
- Thread