[Bug 1752177] Re: RM superseded by php7.2

[Dimitri John Ledkov]

https://launchpad.net/ubuntu/+source/php7.1/7.1.13-1

-- 
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 superseded by php7.2

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