Redirect incorrect Android devbuild update URL

modules/downloadserver/files/downloads.adblockplus.org

 # downloads.adblockplus.org
 server {
   listen       80 default_server;
   listen       [::]:80 default_server;
   server_name  downloads.adblockplus.org;
   location / {
     rewrite (.*) https://downloads.adblockplus.org$1 permanent;
   }
 }
 server {
   listen       443 ssl default_server;
   listen       [::]:443 ssl default_server;
   server_name  downloads.adblockplus.org;
   ssl_certificate sites-available/adblockplus.org_sslcert.pem;
   ssl_certificate_key sites-available/adblockplus.org_sslcert.key;
 
   # redirect server error pages to the static page /50x.html
   #
   error_page   500 502 503 504  /50x.html;
   location = /50x.html {
     root   html;
   }
 
   location /.hg {
     internal;
   }
 
+  # This redirect is necessary since we accidentally set the wrong
+  # update URL in ABP for Android 1.2. It can be removed once we're
+  # not seeing anyone requesting this file anymore.
+  # Note that this intentionally promotes devbuilds to release builds.
+  # Since newer versions should use the new devbuild and release
+  # build update URLs requested by libadblockplus, leaving this
+  # redirect around won't really hurt.
+  location /devbuilds/adblockplusandroid/updates.xml {
+    rewrite ^ https://adblockplus.org/androidupdates.xml?$query_string redirect;

[Wladimir Palant, 2014/03/03 07:44:18]

Won't the two update mechanisms be competing here? Meaning that it is pretty
much a question of luck whether one gets a development build or a release build.

+  }
+
   access_log  /var/log/nginx/access_log_downloads  main;
   keepalive_timeout 0;
   root   /var/www/downloads;
 
   location /devbuilds {
     alias /var/www/devbuilds;
   }
 }