Debian Bug report logs - #872998
transition: php7.2

Toggle useless messages

Message #5 received at submit@bugs.debian.org (full text, mbox, reply):

From: Ondřej Surý <ondrej@debian.org>

To: Debian Bug Tracking System <submit@bugs.debian.org>

Subject: transition: PHP 7.0 to 7.1

Date: Wed, 23 Aug 2017 15:18:54 +0200

Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: transition

Hi,

this is request for PHP 7.0 to PHP 7.1 transition.  In fact, I could
make this a "soft" transition and build the PECL extensions for both
PHP 7.0 and 7.1 for now, so the extensions are not immediately broken
for people using PHP 7.0.  But I have no idea how to express that using
Ben file syntax as it has to be something like:

is_bad = .depends ~ "phpapi-20151012" & ! .depends ~ "phpapi-20160303";

Thanks,
Ondrej

Ben file:

title = "php7.1";
is_affected = .depends ~ "phpapi-20151012" | .depends ~ "phpapi-20160303";
is_good = .depends ~ "phpapi-20160303";
is_bad = .depends ~ "phpapi-20151012";


-- System Information:
Debian Release: 9.1
  APT prefers stable
  APT policy: (990, 'stable'), (800, 'unstable'), (500, 'unstable-debug'), (500, 'stable-debug'), (500, 'proposed-updates'), (1, 'experimental-debug'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.9.0-3-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_IE.UTF-8, LC_CTYPE=en_IE.UTF-8 (charmap=UTF-8), LANGUAGE=en_DK:en (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Message #10 received at 872998@bugs.debian.org (full text, mbox, reply):

From: Emilio Pozuelo Monfort <pochu@debian.org>

To: Ondřej Surý <ondrej@debian.org>, 872998@bugs.debian.org

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

Date: Sun, 10 Sep 2017 11:25:32 +0200

Control: forwarded -1 https://release.debian.org/transitions/html/php7.1.html
Control: tags -1 confirmed

On 23/08/17 15:18, Ondřej Surý wrote:
> Package: release.debian.org
> Severity: normal
> User: release.debian.org@packages.debian.org
> Usertags: transition
> 
> Hi,
> 
> this is request for PHP 7.0 to PHP 7.1 transition.  In fact, I could
> make this a "soft" transition and build the PECL extensions for both
> PHP 7.0 and 7.1 for now, so the extensions are not immediately broken
> for people using PHP 7.0.  But I have no idea how to express that using
> Ben file syntax as it has to be something like:
> 
> is_bad = .depends ~ "phpapi-20151012" & ! .depends ~ "phpapi-20160303";

We can do that. Supporting 7.0 and 7.1 simultaneously for a little while sounds
like a good idea.

Go ahead.

Cheers,
Emilio

Message #19 received at 872998@bugs.debian.org (full text, mbox, reply):

From: Emilio Pozuelo Monfort <pochu@debian.org>

To: Ondřej Surý <ondrej@debian.org>, 872998@bugs.debian.org

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

Date: Mon, 4 Dec 2017 18:59:47 +0100

Hi Ondřej,

On 10/09/17 11:25, Emilio Pozuelo Monfort wrote:
> Control: forwarded -1 https://release.debian.org/transitions/html/php7.1.html
> Control: tags -1 confirmed
> 
> On 23/08/17 15:18, Ondřej Surý wrote:
>> Package: release.debian.org
>> Severity: normal
>> User: release.debian.org@packages.debian.org
>> Usertags: transition
>>
>> Hi,
>>
>> this is request for PHP 7.0 to PHP 7.1 transition.  In fact, I could
>> make this a "soft" transition and build the PECL extensions for both
>> PHP 7.0 and 7.1 for now, so the extensions are not immediately broken
>> for people using PHP 7.0.  But I have no idea how to express that using
>> Ben file syntax as it has to be something like:
>>
>> is_bad = .depends ~ "phpapi-20151012" & ! .depends ~ "phpapi-20160303";
> 
> We can do that. Supporting 7.0 and 7.1 simultaneously for a little while sounds
> like a good idea.

What's the status of this transition?

Cheers,
Emilio

Message #24 received at 872998@bugs.debian.org (full text, mbox, reply):

From: Ondřej Surý <ondrej@debian.org>

To: Emilio Pozuelo Monfort <pochu@debian.org>, 872998@bugs.debian.org

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

Date: Tue, 05 Dec 2017 17:23:35 +0100

Hi Emilio,

the php-defaults has been uploaded some time ago, and some extensions
have already been rebuild.

However with PHP 7.2 release, it might make sense to take this one step
further and add PHP 7.2 as the target for the transition (after it
passes NEW queue).

Ondrej
-- 
Ondřej Surý <ondrej@sury.org>

On Mon, Dec 4, 2017, at 18:59, Emilio Pozuelo Monfort wrote:
> Hi Ondřej,
> 
> On 10/09/17 11:25, Emilio Pozuelo Monfort wrote:
> > Control: forwarded -1 https://release.debian.org/transitions/html/php7.1.html
> > Control: tags -1 confirmed
> > 
> > On 23/08/17 15:18, Ondřej Surý wrote:
> >> Package: release.debian.org
> >> Severity: normal
> >> User: release.debian.org@packages.debian.org
> >> Usertags: transition
> >>
> >> Hi,
> >>
> >> this is request for PHP 7.0 to PHP 7.1 transition.  In fact, I could
> >> make this a "soft" transition and build the PECL extensions for both
> >> PHP 7.0 and 7.1 for now, so the extensions are not immediately broken
> >> for people using PHP 7.0.  But I have no idea how to express that using
> >> Ben file syntax as it has to be something like:
> >>
> >> is_bad = .depends ~ "phpapi-20151012" & ! .depends ~ "phpapi-20160303";
> > 
> > We can do that. Supporting 7.0 and 7.1 simultaneously for a little while sounds
> > like a good idea.
> 
> What's the status of this transition?
> 
> Cheers,
> Emilio

Message #29 received at 872998@bugs.debian.org (full text, mbox, reply):

From: Emilio Pozuelo Monfort <pochu@debian.org>

To: Ondřej Surý <ondrej@debian.org>, 872998@bugs.debian.org

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

Date: Fri, 8 Dec 2017 19:55:54 +0100

On 05/12/17 17:23, Ondřej Surý wrote:
> Hi Emilio,
> 
> the php-defaults has been uploaded some time ago, and some extensions
> have already been rebuild.

Ah, I didn't know we were ready to schedule binNMUs.

> However with PHP 7.2 release, it might make sense to take this one step
> further and add PHP 7.2 as the target for the transition (after it
> passes NEW queue).

Ok, that makes sense. Let's wait for 7.2 to clear NEW and for php-defaults to be
updated, then.

Cheers,
Emilio

Message #34 received at 872998@bugs.debian.org (full text, mbox, reply):

From: Ondřej Surý <ondrej@debian.org>

To: Emilio Pozuelo Monfort <pochu@debian.org>, 872998@bugs.debian.org

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

Date: Fri, 08 Dec 2017 19:59:06 +0100

I have a couple of updated PECL packages anyway, so there would be a
little binNMUs.

O.
-- 
Ondřej Surý <ondrej@sury.org>

On Fri, Dec 8, 2017, at 19:55, Emilio Pozuelo Monfort wrote:
> On 05/12/17 17:23, Ondřej Surý wrote:
> > Hi Emilio,
> > 
> > the php-defaults has been uploaded some time ago, and some extensions
> > have already been rebuild.
> 
> Ah, I didn't know we were ready to schedule binNMUs.
> 
> > However with PHP 7.2 release, it might make sense to take this one step
> > further and add PHP 7.2 as the target for the transition (after it
> > passes NEW queue).
> 
> Ok, that makes sense. Let's wait for 7.2 to clear NEW and for
> php-defaults to be
> updated, then.
> 
> Cheers,
> Emilio

Message #39 received at 872998@bugs.debian.org (full text, mbox, reply):

From: Emilio Pozuelo Monfort <pochu@debian.org>

To: Ondřej Surý <ondrej@debian.org>, 872998@bugs.debian.org

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

Date: Sat, 16 Dec 2017 10:57:09 +0100

On 08/12/17 19:55, Emilio Pozuelo Monfort wrote:
> On 05/12/17 17:23, Ondřej Surý wrote:
>> Hi Emilio,
>>
>> the php-defaults has been uploaded some time ago, and some extensions
>> have already been rebuild.
> 
> Ah, I didn't know we were ready to schedule binNMUs.
> 
>> However with PHP 7.2 release, it might make sense to take this one step
>> further and add PHP 7.2 as the target for the transition (after it
>> passes NEW queue).
> 
> Ok, that makes sense. Let's wait for 7.2 to clear NEW and for php-defaults to be
> updated, then.

7.2 is out of NEW now. Let me know when php-defaults is updated and we're ready
for some binNMUs.

Emilio

Message #44 received at 872998@bugs.debian.org (full text, mbox, reply):

From: Emilio Pozuelo Monfort <pochu@debian.org>

To: Ondřej Surý <ondrej@debian.org>, 872998@bugs.debian.org

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

Date: Thu, 4 Jan 2018 18:42:50 +0100

On 16/12/17 10:57, Emilio Pozuelo Monfort wrote:
> On 08/12/17 19:55, Emilio Pozuelo Monfort wrote:
>> On 05/12/17 17:23, Ondřej Surý wrote:
>>> Hi Emilio,
>>>
>>> the php-defaults has been uploaded some time ago, and some extensions
>>> have already been rebuild.
>>
>> Ah, I didn't know we were ready to schedule binNMUs.
>>
>>> However with PHP 7.2 release, it might make sense to take this one step
>>> further and add PHP 7.2 as the target for the transition (after it
>>> passes NEW queue).
>>
>> Ok, that makes sense. Let's wait for 7.2 to clear NEW and for php-defaults to be
>> updated, then.
> 
> 7.2 is out of NEW now. Let me know when php-defaults is updated and we're ready
> for some binNMUs.

Any update on this?

Cheers,
Emilio

Message #49 received at 872998@bugs.debian.org (full text, mbox, reply):

From: Ondřej Surý <ondrej@debian.org>

To: Emilio Pozuelo Monfort <pochu@debian.org>, 872998@bugs.debian.org

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

Date: Fri, 05 Jan 2018 15:54:18 +0100

I have just uploaded next round of PHP upstream releases including 7.2.1 that clears all d/copyright issues that ftp-masters had.

I responded to the REJECT email, so hopefully this will speed up the process of accepting PHP 7.2 into the unstable.

Cheers,
-- 
Ondřej Surý <ondrej@sury.org>

On Thu, Jan 4, 2018, at 18:42, Emilio Pozuelo Monfort wrote:
> On 16/12/17 10:57, Emilio Pozuelo Monfort wrote:
> > On 08/12/17 19:55, Emilio Pozuelo Monfort wrote:
> >> On 05/12/17 17:23, Ondřej Surý wrote:
> >>> Hi Emilio,
> >>>
> >>> the php-defaults has been uploaded some time ago, and some extensions
> >>> have already been rebuild.
> >>
> >> Ah, I didn't know we were ready to schedule binNMUs.
> >>
> >>> However with PHP 7.2 release, it might make sense to take this one step
> >>> further and add PHP 7.2 as the target for the transition (after it
> >>> passes NEW queue).
> >>
> >> Ok, that makes sense. Let's wait for 7.2 to clear NEW and for php-defaults to be
> >> updated, then.
> > 
> > 7.2 is out of NEW now. Let me know when php-defaults is updated and we're ready
> > for some binNMUs.
> 
> Any update on this?
> 
> Cheers,
> Emilio

Message #54 received at 872998@bugs.debian.org (full text, mbox, reply):

From: Emilio Pozuelo Monfort <pochu@debian.org>

To: Ondřej Surý <ondrej@debian.org>, 872998@bugs.debian.org

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

Date: Tue, 23 Jan 2018 18:50:08 +0100

On 05/01/18 15:54, Ondřej Surý wrote:
> I have just uploaded next round of PHP upstream releases including 7.2.1 that clears all d/copyright issues that ftp-masters had.
> 
> I responded to the REJECT email, so hopefully this will speed up the process of accepting PHP 7.2 into the unstable.

I prodded them and it's accepted now.

Cheers,
Emilio

Message #59 received at 872998@bugs.debian.org (full text, mbox, reply):

From: Ondřej Surý <ondrej@debian.org>

To: Emilio Pozuelo Monfort <pochu@debian.org>, 872998@bugs.debian.org

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

Date: Wed, 24 Jan 2018 18:29:14 +0100

Thank you!

I'll upload the updated php-defaults that sets PHP 7.2 as the default PHP version as soon as it's built on all platforms.

O.
-- 
Ondřej Surý <ondrej@sury.org>

On Tue, Jan 23, 2018, at 18:50, Emilio Pozuelo Monfort wrote:
> On 05/01/18 15:54, Ondřej Surý wrote:
> > I have just uploaded next round of PHP upstream releases including 7.2.1 that clears all d/copyright issues that ftp-masters had.
> > 
> > I responded to the REJECT email, so hopefully this will speed up the process of accepting PHP 7.2 into the unstable.
> 
> I prodded them and it's accepted now.
> 
> Cheers,
> Emilio

Message #64 received at 872998@bugs.debian.org (full text, mbox, reply):

From: Ondřej Surý <ondrej@debian.org>

To: Emilio Pozuelo Monfort <pochu@debian.org>, 872998@bugs.debian.org

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

Date: Wed, 24 Jan 2018 18:31:08 +0100

I should probably clarify that - I already have all (if not most) extensions supporting PHP 7.0, PHP 7.1 and PHP 7.2 ready, so I'll be uploading those along with the php-defaults upload.

Also I don't have any reports of neither PHP 7.1 nor PHP 7.2 breaking something. Perhaps except php-mcrypt being dropped from PHP 7.2.

Ondrej
-- 
Ondřej Surý <ondrej@sury.org>

On Wed, Jan 24, 2018, at 18:29, Ondřej Surý wrote:
> Thank you!
> 
> I'll upload the updated php-defaults that sets PHP 7.2 as the default 
> PHP version as soon as it's built on all platforms.
> 
> O.
> -- 
> Ondřej Surý <ondrej@sury.org>
> 
> On Tue, Jan 23, 2018, at 18:50, Emilio Pozuelo Monfort wrote:
> > On 05/01/18 15:54, Ondřej Surý wrote:
> > > I have just uploaded next round of PHP upstream releases including 7.2.1 that clears all d/copyright issues that ftp-masters had.
> > > 
> > > I responded to the REJECT email, so hopefully this will speed up the process of accepting PHP 7.2 into the unstable.
> > 
> > I prodded them and it's accepted now.
> > 
> > Cheers,
> > Emilio

Message #69 received at 872998-close@bugs.debian.org (full text, mbox, reply):

From: Ondřej Surý <ondrej@debian.org>

To: 872998-close@bugs.debian.org

Subject: Bug#872998: fixed in php-defaults 60

Date: Thu, 25 Jan 2018 11:23:42 +0000

Source: php-defaults
Source-Version: 60

We believe that the bug you reported is fixed in the latest version of
php-defaults, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 872998@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ondřej Surý <ondrej@debian.org> (supplier of updated php-defaults package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 25 Jan 2018 09:08:27 +0000
Source: php-defaults
Binary: libapache2-mod-php libphp-embed php php-all-dev php-bcmath php-bz2 php-cgi php-cli php-common php-curl php-dev php-enchant php-fpm php-gd php-gmp php-imap php-interbase php-intl php-json php-ldap php-mbstring php-mysql php-odbc php-pgsql php-phpdbg php-pspell php-readline php-recode php-snmp php-soap php-sqlite3 php-sybase php-tidy php-xml php-xmlrpc php-zip
Architecture: source
Version: 60
Distribution: unstable
Urgency: medium
Maintainer: Debian PHP Maintainers <pkg-php-maint@lists.alioth.debian.org>
Changed-By: Ondřej Surý <ondrej@debian.org>
Description:
 libapache2-mod-php - server-side, HTML-embedded scripting language (Apache 2 module) (
 libphp-embed - HTML-embedded scripting language (Embedded SAPI library) (default
 php        - server-side, HTML-embedded scripting language (default)
 php-all-dev - package depending on all supported PHP development packages
 php-bcmath - Bcmath module for PHP [default]
 php-bz2    - bzip2 module for PHP [default]
 php-cgi    - server-side, HTML-embedded scripting language (CGI binary) (defau
 php-cli    - command-line interpreter for the PHP scripting language (default)
 php-common - Common files for PHP packages
 php-curl   - CURL module for PHP [default]
 php-dev    - Files for PHP module development (default)
 php-enchant - Enchant module for PHP [default]
 php-fpm    - server-side, HTML-embedded scripting language (FPM-CGI binary) (d
 php-gd     - GD module for PHP [default]
 php-gmp    - GMP module for PHP [default]
 php-imap   - IMAP module for PHP [default]
 php-interbase - Interbase module for PHP [default]
 php-intl   - Internationalisation module for PHP [default]
 php-json   - JSON module for PHP [default]
 php-ldap   - LDAP module for PHP [default]
 php-mbstring - MBSTRING module for PHP [default]
 php-mysql  - MySQL module for PHP [default]
 php-odbc   - ODBC module for PHP [default]
 php-pgsql  - PostgreSQL module for PHP [default]
 php-phpdbg - server-side, HTML-embedded scripting language (PHPDBG binary) (de
 php-pspell - pspell module for PHP [default]
 php-readline - readline module for PHP [default]
 php-recode - recode module for PHP [default]
 php-snmp   - SNMP module for PHP [default]
 php-soap   - SOAP module for PHP [default]
 php-sqlite3 - SQLite3 module for PHP [default]
 php-sybase - Sybase module for PHP [default]
 php-tidy   - tidy module for PHP [default]
 php-xml    - DOM, SimpleXML, WDDX, XML, and XSL module for PHP [default]
 php-xmlrpc - XMLRPC-EPI module for PHP [default]
 php-zip    - Zip module for PHP [default]
Closes: 872998
Changes:
 php-defaults (60) unstable; urgency=medium
 .
   * Start the soft-transition to PHP 7.2 by adding 7.2 to a list of
     supported versions and making PHP 7.2 the default Debian version
     (Closes: #872998)
Checksums-Sha1:
 1f96970cc22727cdf018d9d1dba227d4e215b204 3511 php-defaults_60.dsc
 bbeb0cc65039f2a8bb28889c2dda11f445a1cb32 15124 php-defaults_60.tar.xz
 43ce70cefe7599105e12fb50b3967d81bd5b5347 14103 php-defaults_60_amd64.buildinfo
Checksums-Sha256:
 57614014e9089b3f1f40f3f46f21839a0f996802c8d479df8a62a09d6765bfad 3511 php-defaults_60.dsc
 b55f3e6bb6e05a592f47d2c29df2893b40ca8a38e6e54a214647de5fb77991ef 15124 php-defaults_60.tar.xz
 1814e321ecd14dff4d4019bea2e1106fc43e229fdb18572bbb8f4a2ebe45e16d 14103 php-defaults_60_amd64.buildinfo
Files:
 1ec3bf6e5ebd7b7167c1a2c4ca3ff8bf 3511 php optional php-defaults_60.dsc
 a3ea1ec6dad911a4af52dde6475db7e7 15124 php optional php-defaults_60.tar.xz
 e238c8b770ba43e970220e6b25426b37 14103 php optional php-defaults_60_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQKTBAEBCgB9FiEEw2Gx4wKVQ+vGJel9g3Kkd++uWcIFAlppn5hfFIAAAAAALgAo
aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldEMz
NjFCMUUzMDI5NTQzRUJDNjI1RTk3RDgzNzJBNDc3RUZBRTU5QzIACgkQg3Kkd++u
WcIRQA//RKvlokvMa2ReFgA1KAcHP9crfTGNwlvgQVUFROYXYhJwh+Mbsi/H4G3p
wdfNrALGKfmkwykLeW4apENgP4ehNgX2FuGrHZRxB2v8PQmqzqPd2Sfux6A78KIG
pZXT1IYZxhxuX5EW8fElYmQa62FJs7V0Ul2zWjXPbzBSniQ8x9vDL3hqfRT05n8g
zS84WBdAaurVxe19Ft3Sd7uWu0RFBV2pKODIJhVWCRXUToMaPLJ6bglCJhXYo46r
kZRVJnXkwjGmJ11w3KArkmc8DjUnjODriSOAr3xhLHAJBArXKxGvn/OeleANZ3TB
xxtw0IE81lqkMJ0f6bYAyKzdv2WZV/ukStyjgvzeFRzq4Jr7uTLkjgXGsF7Hhllg
iWbM/xvdS+hnmSppxKpSORj2mAB71sLoTZL+ID/8ghH/hYo+Yx8+K8oDBg1t6e8Q
rNYjHGCiuk4WJlEPJ5bszuMUgpLWO8y0aaV6Pcj/q5JbJwB48TiCVy4lM/txsDWB
s2X7MYXu9LqnKl5EeRHjk+OP/QhV/eE4aFpwqVd4KVybUnypaib3LRDT5EzHfnIa
qaCRd5cMlBJrty4yEnSrpTJ88+ETZoxSwbzou+vP/mwS446+ci1rChB8fXA8F3G5
VsYoD32/WB9SAluDCkbxZZdQncUrSf+E/QjqnCa8agcOFYaTei8=
=6XGd
-----END PGP SIGNATURE-----

Message #74 received at 872998@bugs.debian.org (full text, mbox, reply):

From: Emilio Pozuelo Monfort <pochu@debian.org>

To: 872998@bugs.debian.org, Ondřej Surý <ondrej@debian.org>

Subject: Re: Bug#872998: marked as done (transition: PHP 7.0 to 7.1)

Date: Thu, 25 Jan 2018 12:55:18 +0100

Control: reopen -1
Control: retitle -1 transition: php7.2
Control: forwarded -1 https://release.debian.org/transitions/html/php7.2.html

On 25/01/18 12:27, Debian Bug Tracking System wrote:
>  php-defaults (60) unstable; urgency=medium
>  .
>    * Start the soft-transition to PHP 7.2 by adding 7.2 to a list of
>      supported versions and making PHP 7.2 the default Debian version
>      (Closes: #872998)

This is not fixed yet. Let's keep it open until the transition is finished.

Cheers,
Emilio

Message #87 received at 872998@bugs.debian.org (full text, mbox, reply):

From: Emilio Pozuelo Monfort <pochu@debian.org>

To: 872998@bugs.debian.org, Ondřej Surý <ondrej@debian.org>

Subject: transition: php7.2

Date: Sat, 27 Jan 2018 00:20:52 +0100

On 25/01/18 12:55, Emilio Pozuelo Monfort wrote:
> Control: reopen -1
> Control: retitle -1 transition: php7.2
> Control: forwarded -1 https://release.debian.org/transitions/html/php7.2.html
> 
> On 25/01/18 12:27, Debian Bug Tracking System wrote:
>>  php-defaults (60) unstable; urgency=medium
>>  .
>>    * Start the soft-transition to PHP 7.2 by adding 7.2 to a list of
>>      supported versions and making PHP 7.2 the default Debian version
>>      (Closes: #872998)
> 
> This is not fixed yet. Let's keep it open until the transition is finished.

Now that php7.2 is built and php-defaults has been updated, can I schedule the
binNMUs?

Cheers,
Emilio

Message #92 received at 872998@bugs.debian.org (full text, mbox, reply):

From: Ondřej Surý <ondrej@debian.org>

To: Emilio Pozuelo Monfort <pochu@debian.org>, 872998@bugs.debian.org

Subject: Re: transition: php7.2

Date: Sun, 28 Jan 2018 14:19:42 +0100

Yes, please, go ahead, and I will fix any eventual build failures as it goes.

Ondrej
-- 
Ondřej Surý <ondrej@sury.org>

On Sat, Jan 27, 2018, at 00:20, Emilio Pozuelo Monfort wrote:
> On 25/01/18 12:55, Emilio Pozuelo Monfort wrote:
> > Control: reopen -1
> > Control: retitle -1 transition: php7.2
> > Control: forwarded -1 https://release.debian.org/transitions/html/php7.2.html
> > 
> > On 25/01/18 12:27, Debian Bug Tracking System wrote:
> >>  php-defaults (60) unstable; urgency=medium
> >>  .
> >>    * Start the soft-transition to PHP 7.2 by adding 7.2 to a list of
> >>      supported versions and making PHP 7.2 the default Debian version
> >>      (Closes: #872998)
> > 
> > This is not fixed yet. Let's keep it open until the transition is finished.
> 
> Now that php7.2 is built and php-defaults has been updated, can I schedule the
> binNMUs?
> 
> Cheers,
> Emilio

Message #97 received at 872998@bugs.debian.org (full text, mbox, reply):

From: Emilio Pozuelo Monfort <pochu@debian.org>

To: Ondřej Surý <ondrej@debian.org>, 872998@bugs.debian.org

Subject: Re: Bug#872998: transition: php7.2

Date: Thu, 1 Feb 2018 09:47:21 +0100

On 28/01/18 14:19, Ondřej Surý wrote:
> Yes, please, go ahead, and I will fix any eventual build failures as it goes.

Done, see the failures on https://release.debian.org/transitions/html/php7.2.html

Emilio

Message #102 received at 872998@bugs.debian.org (full text, mbox, reply):

From: Carsten Schoenert <c.schoenert@t-online.de>

To: Emilio Pozuelo Monfort <pochu@debian.org>, 872998@bugs.debian.org

Cc: Ondřej Surý <ondrej@debian.org>, pkg-giraffe-discuss@lists.alioth.debian.org

Subject: Re: Bug#872998: transition: php7.2

Date: Mon, 5 Feb 2018 18:04:27 +0100

Hi,

On Thu, Feb 01, 2018 at 09:47:21AM +0100, Emilio Pozuelo Monfort wrote:
> On 28/01/18 14:19, Ondřej Surý wrote:
> > Yes, please, go ahead, and I will fix any eventual build failures as it goes.
> 
> Done, see the failures on https://release.debian.org/transitions/html/php7.2.html

don't care much about kopanocore, it's no problem to build recent
kopanocore versions against PHP7.2 and we just need to find some time to
prepare a new upstrem version of kopanocore for unstable now it has left
NEW. Should be done within this week.

Regards
Carsten

Message #107 received at 872998-done@bugs.debian.org (full text, mbox, reply):

From: Emilio Pozuelo Monfort <pochu@debian.org>

To: Ondřej Surý <ondrej@debian.org>, 872998-done@bugs.debian.org

Subject: Re: Bug#872998: transition: php7.2

Date: Sat, 17 Feb 2018 08:58:02 +0100

On 28/01/18 14:19, Ondřej Surý wrote:
> Yes, please, go ahead, and I will fix any eventual build failures as it goes.

This is done now. Closing.

I guess the next step is to drop support for php7.0 and 7.1 from php-defaults
and rebuilding the modules so they no longer depend on those versions and we can
remove them. Please open a new transition bug for that as this is getting long.

Thanks,
Emilio

Send a report that this bug log contains spam.