Sorry, the right url is:
http://matteosistisette.com/test/grep_bug/profile.php.gz
Whether or not the original description in the ubuntu bug was clear
enough, this test case should be, right?
On 08/09/16 22:54, Paul Eggert wrote:
On 09/08/2016 01:17 PM, Matteo Sisti Sette wrote:
> I just now re-read
https://bugs.launchpad.net/ubuntu/+source/grep/+bug/1535458 and it's
not clear to me what bug is being reported
> downstream.
Just read the description in the original report, it should be pretty
clear what the problem is.
Sorry, it is not clear to me.
Also see comment 7:
https://bugs.launchpad.net/ubuntu/+source/grep/+bug/1535458/comments/7
Then I don't know what existing upstream bug tracks the issue, if
there's any.
Comment 7 does not provide a reproducible test case, or hint at how to
provide one.
This might be a partial test case:
Download and gunzip the following file:
http://matteosistisette.com/test/bug_grep/profile.php.gz
Sorry, that URL does not work for me:
$ wget http://matteosistisette.com/test/bug_grep/profile.php.gz
--2016-09-08 13:53:03--
http://matteosistisette.com/test/bug_grep/profile.php.gz
Resolving matteosistisette.com (matteosistisette.com)... 178.62.237.38
Connecting to matteosistisette.com
(matteosistisette.com)|178.62.237.38|:80... connected.
HTTP request sent, awaiting response... 404 Not Found
2016-09-08 13:53:03 ERROR 404: Not Found.
