[packages/php/PHP_7_0] devel obsoletes php72-devel

[glen]

commit dde9b5d4d4e24c9a2d213861671043ac59f9abee
Author: Elan Ruusamäe <glen at pld-linux.org>
Date:   Sat Oct 28 21:42:25 2017 +0300

    devel obsoletes php72-devel

 php.spec | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/php.spec b/php.spec
index 0aedab3..64faa24 100644
--- a/php.spec
+++ b/php.spec
@@ -610,6 +610,7 @@ Obsoletes:	php54-devel
 Obsoletes:	php55-devel
 Obsoletes:	php56-devel
 Obsoletes:	php71-devel
+Obsoletes:	php72-devel
 
 %description devel
 The php-devel package lets you compile dynamic extensions to PHP.
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/php.git/commitdiff/dde9b5d4d4e24c9a2d213861671043ac59f9abee