From 6e159020d7121bf4e1a315592c060ba3d8678b41 Mon Sep 17 00:00:00 2001
From: Georg Koppen <gk@torproject.org>
Date: Fri, 17 Aug 2018 07:05:12 +0000
Subject: [PATCH] Pick up new Torbutton and TorLauncher tags

---
 rbm.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rbm.conf b/rbm.conf
index 028f57697..fe09b2dc0 100644
--- a/rbm.conf
+++ b/rbm.conf
@@ -16,7 +16,7 @@ buildconf:
 
 var:
   torbrowser_version: '8.0a10'
-  torbrowser_build: 'build3'
+  torbrowser_build: 'build5'
   torbrowser_incremental_from:
     - 8.0a9
   project_name: tor-browser
-- 
GitLab