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

[Debian Bug Tracking System]

Processing control commands:

> block 691755 by -1
Bug #691755 [libxmltok1-dev] Remove libxmltok from debian
691755 was blocked by: 871824 871825 775982
691755 was not blocking any bugs.
Added blocking bug(s) of 691755: 871826

-- 
691755: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=691755
871826: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=871826
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems