diff --git a/t7-2.txt b/t7-2.txt new file mode 100644 --- /dev/null +++ b/t7-2.txt @@ -0,0 +1 @@ +An additional revision for the same bug