1 files changed, 1 insertions, 1 deletions
diff --git a/bin10/build.no b/bin10/build.no
index 878dccdf0c..3577535ffc 100644
--- a/bin10/build.no
+++ b/bin10/build.no
@@ -1 +1 @@
-0 93 3
-\ No newline at end of file
+0 93 4
+\ No newline at end of file