René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"detect timestamp in diff header","articleBody":"```\nWhat steps will reproduce the problem?\n1.python diff.py -u patch.py.merge-left.r40 patch.py.merge-right.r41 \u003e\nportfix.diff\n\nWhat is the expected output? What do you see instead?\nfilenames in diff header are not separated from timestamp by tab\n\n--- patch.py.merge-left.r40 Sat Dec 26 11:39:47 2009\n+++ patch.py.merge-right.r41 Sat Dec 26 11:39:47 2009\n@@ -8,7 +8,7 @@\n \"\"\"\n\n\npatch.py fails:\nreading patch from file portfix.diff\ntotal files: 1  total hunks: 2\nsource/target file does not exist\n--- patch.py.merge-left.r40 Sat Dec 26 11:39:47 2009\n+++ patch.py.merge-right.r41 Sat Dec 26 11:39:47 2009\n\n\nNeed to detect all possible timestamp formats.\n```\n\nOriginal issue reported on code.google.com by `techtonik@gmail.com` on 26 Dec 2009 at 9:55\n","author":{"url":"https://github.com/GoogleCodeExporter","@type":"Person","name":"GoogleCodeExporter"},"datePublished":"2015-04-18T09:05:14.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":1},"url":"https://github.com/6/python-patch/issues/6"}