[tor-commits] [tor-browser/tor-browser-80.0b2-10.0-1] Merge remote-tracking branch 'gitlab/merge-requests/32' into tor-browser-80.0b2-10.0-1

[gk at torproject.org]

commit 085afe26cf71774d9e3d71df758d5554cdf56dde
Merge: d9e55f2c6a78 0e694a667dd1
Author: Georg Koppen <gk at torproject.org>
Date:   Mon Aug 17 13:02:09 2020 +0000

    Merge remote-tracking branch 'gitlab/merge-requests/32' into tor-browser-80.0b2-10.0-1

 browser/app/profile/000-tor-browser.js | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)