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 {
@@ skipping 11 matching lines @@
   }
 
   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.
-  location /devbuilds/adblockplusandroid/update.json {
+  # 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;
   }
 }