diff --git a/tools/x.sh b/tools/x.sh new file mode 100644 index 000000000..82c8df8f5 --- /dev/null +++ b/tools/x.sh @@ -0,0 +1 @@ +# spec 023 validation scenario 12