diff --git a/a0/ef64cfe01e0edd18aca382cc6355b9cb1f9ab0 b/a0/ef64cfe01e0edd18aca382cc6355b9cb1f9ab0
new file mode 100644
index 0000000000..ef5e7b9d72
--- /dev/null
+++ b/a0/ef64cfe01e0edd18aca382cc6355b9cb1f9ab0
@@ -0,0 +1 @@
+Build 4.0.1.7123 on 4.0 successful