From: Elan Ruusamäe <glen@pld-linux.org>
Date: Mon, 24 Sep 2018 17:43:59 +0000 (+0300)
Subject: devel obsoletes php73-devel
X-Git-Tag: auto/th/php72-7.2.11-1~1
X-Git-Url: http://git.pld-linux.org/?p=packages%2Fphp.git;a=commitdiff_plain;h=bf286d84692a50e2a833df40de6d5e0ae8eed51c

devel obsoletes php73-devel
---

diff --git a/php.spec b/php.spec
index cbd0826..a4faade 100644
--- a/php.spec
+++ b/php.spec
@@ -632,6 +632,7 @@ Obsoletes:	php55-devel
 Obsoletes:	php56-devel
 Obsoletes:	php70-devel
 Obsoletes:	php71-devel
+Obsoletes:	php73-devel
 
 %description devel
 The php-devel package lets you compile dynamic extensions to PHP.