Thomas Bruederli
2014-04-10 d61731e1a37a572a728456c76696268eda9ac471
program/js/app.js
@@ -6816,7 +6816,7 @@
  this.goto_url = function(action, query, lock)
  {
    this.redirect(this.url(action, query));
    this.redirect(this.url(action, query), lock);
  };
  this.location_href = function(url, target, frame)