devel obsoletes php72-devel

diff --git a/php.spec b/php.spec
index 2b28ac65412da4d9251bb9ea1882e33ffabd7ddc..24d406581968b3ca6a0dc3f61978408488bbc39d 100644 (file)
--- a/php.spec
+++ b/php.spec
@@ -624,6 +624,7 @@ Obsoletes:  php54-devel
 Obsoletes:     php55-devel
 Obsoletes:     php56-devel
 Obsoletes:     php70-devel
+Obsoletes:     php72-devel
 
 %description devel
 The php-devel package lets you compile dynamic extensions to PHP.