devel obsoletes php72-devel

diff --git a/php.spec b/php.spec
index 0aedab36fc9f75c9873f77fa64c7257ae7108358..64faa242e3d5b6360e6a8308d04a7e2a9e94691f 100644 (file)
--- 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.