[tor-commits] [tor-browser-build/maint-8.0] Update Changelog and bump Torbutton version

[gk at torproject.org]

commit da99fd25b9543af42ca7519554ed64ff1e56b3f6
Author: Georg Koppen <gk at torproject.org>
Date:   Mon May 6 10:00:04 2019 +0000

    Update Changelog and bump Torbutton version
---
 projects/tor-browser/Bundle-Data/Docs/ChangeLog.txt | 4 +++-
 projects/torbutton/config                           | 2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/projects/tor-browser/Bundle-Data/Docs/ChangeLog.txt b/projects/tor-browser/Bundle-Data/Docs/ChangeLog.txt
index 3c9ffb6..2d6a6c5 100644
--- a/projects/tor-browser/Bundle-Data/Docs/ChangeLog.txt
+++ b/projects/tor-browser/Bundle-Data/Docs/ChangeLog.txt
@@ -1,7 +1,9 @@
 Tor Browser 8.0.9 -- May 7 2019
 * All platforms
+  * Update Torbutton to 2.0.13
+    * Bug 30388: Make sure the updated intermediate certificate keeps working
   * Backport fixes for bug 1549010 and bug 1549061
-    * Bug 30388: NoScript and all user-installed add-ons got deactivated
+    * Bug 30388: Make sure the updated intermediate certificate keeps working
   * Update NoScript to 10.6.1
      * Bug 29872: XSS popup with DuckDuckGo search on about:tor
 
diff --git a/projects/torbutton/config b/projects/torbutton/config
index 0d66ae0..7354339 100644
--- a/projects/torbutton/config
+++ b/projects/torbutton/config
@@ -1,5 +1,5 @@
 # vim: filetype=yaml sw=2
-version: 2.0.11
+version: 2.0.13
 git_url: https://git.torproject.org/torbutton.git
 git_hash: '[% c("version") %]'
 gpg_keyring: torbutton.gpg