diff --git a/symbols/symbols_version.txt b/symbols/symbols_version.txt new file mode 100644 index 0000000000..68209c0009 --- /dev/null +++ b/symbols/symbols_version.txt @@ -0,0 +1 @@ +1.17 \ No newline at end of file