Update version number

diff --git a/GnuBookIA/inc/GnuBook.inc b/GnuBookIA/inc/GnuBook.inc
index 5fd941f..9729af3 100644 (file)
--- a/GnuBookIA/inc/GnuBook.inc
+++ b/GnuBookIA/inc/GnuBook.inc
@@ -81,7 +81,7 @@ class GnuBook
     // manually update with Launchpad version number at each checkin so that browsers
     // do not use old cached version
     // see https://bugs.launchpad.net/gnubook/+bug/330748
-    $version = "0.9.11";
+    $version = "0.9.13";
     
     if ("" == $id) {
         echo "No identifier specified!";