[tor-commits] [tor-launcher/master] Bump version.

[mikeperry at torproject.org]

commit 800f3d177e405803acddd105a2fe16ae4c8ef572
Author: Mike Perry <mikeperry-git at torproject.org>
Date:   Sat Mar 15 20:09:09 2014 -0700

    Bump version.
---
 src/install.rdf |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/install.rdf b/src/install.rdf
index d57db8f..1cd36da 100644
--- a/src/install.rdf
+++ b/src/install.rdf
@@ -7,7 +7,7 @@
         <em:creator>The Tor Project, Inc.</em:creator>
         <em:contributor>Pearl Crescent, LLC</em:contributor>
         <em:id>tor-launcher at torproject.org</em:id>
-        <em:version>0.2.5.0</em:version>
+        <em:version>0.2.5.1</em:version>
         <em:homepageURL>https://www.torproject.org/projects/torbrowser.html</em:homepageURL>
         <em:updateURL>https://127.0.0.1/</em:updateURL>
 <!--