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