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