SetVersion ($DBversion);
}
+$DBversion = "18.05.13.000";
+if ( CheckVersion($DBversion) ) {
+ print "Upgrade to $DBversion done (18.05.13 release)\n";
+ SetVersion ($DBversion);
+}
+
# SEE bug 13068
# if there is anything in the atomicupdate, read and execute it.