From: Elan Ruusamäe <glen@pld-linux.org>
Date: Sat, 28 Oct 2017 18:42:25 +0000 (+0300)
Subject: devel obsoletes php72-devel
X-Git-Tag: auto/th/php56-5.6.32-2~1
X-Git-Url: http://git.pld-linux.org/?a=commitdiff_plain;ds=sidebyside;h=b7599b4189916b23e99add4a3528a1b398dfbe63;p=packages%2Fphp.git

devel obsoletes php72-devel
---

diff --git a/php.spec b/php.spec
index 9af3c60..8bd6b97 100644
--- a/php.spec
+++ b/php.spec
@@ -669,6 +669,7 @@ Obsoletes:	php54-devel
 Obsoletes:	php55-devel
 Obsoletes:	php70-devel
 Obsoletes:	php71-devel
+Obsoletes:	php72-devel
 
 %description devel
 The php-devel package lets you compile dynamic extensions to PHP.