diff --git a/tests/data/DISABLED b/tests/data/DISABLED index 82123e6ae4bbb758886b6f1cacd86140385c76bf..840a725b52c11bf643d08704bab832d33ddb34eb 100644 --- a/tests/data/DISABLED +++ b/tests/data/DISABLED @@ -2,4 +2,5 @@ # test cases are run by runtests.pl. Just add the plain test case numbers, one # per line. # Lines starting with '#' letters are treated as comments. +572 811