Publishing details

Removed from disk on 2018-10-26.
Removal requested on 2018-10-26.
Superseded on 2018-10-25 by php7.2 - 7.2.11-3+ubuntu14.04.1+deb.sury.org+1
Published on 2018-10-15

Changelog

php7.2 (7.2.11-2+ubuntu14.04.1+deb.sury.org+1) trusty; urgency=medium

  * No-change backport to trusty

 -- Ondřej Surý <email address hidden>  Mon, 15 Oct 2018 11:39:24 +0000

Available diffs

diff from 7.2.11-1+ubuntu14.04.1+deb.sury.org+1 to 7.2.11-2+ubuntu14.04.1+deb.sury.org+1 (1.4 KiB)

Builds

Package files

No files published for this package.