diff --git a/CODEGEN_VERSION b/CODEGEN_VERSION new file mode 100644 index 0000000000..faffe73c57 --- /dev/null +++ b/CODEGEN_VERSION @@ -0,0 +1 @@ +ee56c4b73d856e48409065f8d7e7c82c2e805c38 \ No newline at end of file