Make sure that branching instructions are traced even if we're executing the

[nmh] / VERSION

diff --git a/VERSION b/VERSION
index 29b86d6..bad3e98 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.2-RC1
+1.5+dev