[Bug 1752177] [NEW] RM superseeded by php7.2

[Dimitri John Ledkov]

Public bug reported:

RM superseeded by php7.2

** Affects: php7.1 (Ubuntu)
     Importance: High
         Status: Triaged

** Changed in: php7.1 (Ubuntu)
       Status: New => Triaged

** Changed in: php7.1 (Ubuntu)
   Importance: Undecided => High

-- 
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/1752177

Title:
  RM superseeded by php7.2

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/php7.1/+bug/1752177/+subscriptions