rem: GM_prefRoot.setValue("version", "0.5.1"); 
add: GM_prefRoot.setValue("version", "0.5.2"); 
context: function GM_updateVersion() {  GM_log("> GM_updateVersion");  // this is the last version which has been run at least once  var initialized = GM_prefRoot.getValue("version", "0.0");    if (!GM_versionIsGreaterOrEqual(initialized, "0.3")) {    GM_pointThreeMigrate();  }    if (!GM_versionIsGreaterOrEqual(initialized, "0.4.2")) {    GM_pointFourMigrate();  }  // update the currently initialized version so we don't do this work again.  GM_prefRoot.setValue("version", "0.5.1");  GM_log("< GM_updateVersion");}
meta: 4585	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4585/948bd350e171af146698620efca82dad458258fe/versioning.js/clean/src/content/versioning.js