diff --git a/.ottdrev b/.ottdrev new file mode 100644 index 0000000000..38c021e62b --- /dev/null +++ b/.ottdrev @@ -0,0 +1 @@ +1.4.2 26740 0 1.4.2