reassign 713490 pkg-php-tools 1.7 reassign 713517 pkg-php-tools 1.7 forcemerge 713949 713490 713517 affects 713949 pear-horde-channel pear-aws-channel tag 713949 + pending thanks
2013/6/24 David Prévot <da...@tilapin.org>: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA256 > > Le 24/06/2013 04:16, Mathieu Parent a écrit : > >> Can you reproduce with pkg-php-tools from git? > > Current HEAD fixes #713490 (and so, probably #713517 too), thanks. Great > Shouldn’t they both be merged with #713949? Done. Regards -- Mathieu Parent -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org