[php-maint] Bug#871826: php7.1: Please remove unused libxmltok1-dev from Build-Depends

[Guillem Jover]

Source: php7.1
Source-Version: 7.1.8-1
Tags: patch
Control: block 691755 by -1

Hi!

While checking what would be needed to remove the old libxmltok1-dev
(expat 1.x), noticed that this package Build-Depends on it, but does
not seem to use it.

Attached an untested patch, although a git grep seems to tell it would
be correct.

Thanks,
Guillem
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Remove-unused-libxmltok1-dev-Build-Depends.patch
Type: text/x-diff
Size: 1177 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-php-maint/attachments/20170812/8908ddb8/attachment.patch>