releasing version 4.20130601

debian/changelog

@@ -1,4 +1,4 @@
-git-annex (4.20130522) UNRELEASED; urgency=low
+git-annex (4.20130601) unstable; urgency=medium
 
   * XMPP: Git push over xmpp made much more robust.
   * XMPP: Avoid redundant and unncessary pushes. Note that this breaks
@@ -24,7 +24,7 @@ git-annex (4.20130522) UNRELEASED; urgency=low
   * Can now restart certain long-running git processes if they crash, and
     continue working.
 
- -- Joey Hess <joeyh@debian.org>  Tue, 21 May 2013 18:22:46 -0400
+ -- Joey Hess <joeyh@debian.org>  Sat, 01 Jun 2013 19:16:04 -0400
 
 git-annex (4.20130521) unstable; urgency=low
 

doc/assistant/release_notes.mdwn

@@ -1,3 +1,8 @@
+## version 4.20130601
+
+This is a bugfix release, featuring significant XMPP improvements and
+more robustness thanks to automated fuzz testing. Recommended upgrade.
+
 ## version 4.20130521
 
 This is a bugfix release. Recommended upgrade.
@@ -11,10 +16,6 @@ typing needed to set up syncing to your Android phone or tablet!
 A few of the more advanced features may not work (or not work reliably)
 on Android. The Android app is still beta quality.
 
-There is a known problem with android 4.2.2 that prevents the webapp
-from opening. See [[Android_app_permission_denial_on_startup]] for a
-workaround.
-
 This is also the first release with a Windows port! The Windows port
 is in an alpha quality state, and is missing many features.
 It does not yet include the assistant.

git-annex.cabal

@@ -1,5 +1,5 @@
 Name: git-annex
-Version: 4.20130521
+Version: 4.20130601
 Cabal-Version: >= 1.8
 License: GPL
 Maintainer: Joey Hess <joey@kitenet.net>