From e8bbd01cd518c5dc43d0aede1b529f30a284ee8e Mon Sep 17 00:00:00 2001
From: Jesse Vincent <jesse@bestpractical.com>
Date: Tue, 5 Nov 2013 20:57:23 -0500
Subject: [PATCH] 4.800 release version

---
 AndroidManifest.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/AndroidManifest.xml b/AndroidManifest.xml
index f9942e325..c252f4cd7 100644
--- a/AndroidManifest.xml
+++ b/AndroidManifest.xml
@@ -1,8 +1,8 @@
 <?xml version="1.0" encoding="utf-8"?>
 <manifest
     xmlns:android="http://schemas.android.com/apk/res/android"
-    android:versionCode="19002"
-    android:versionName="4.701" package="com.fsck.k9"
+    android:versionCode="20000"
+    android:versionName="4.800" package="com.fsck.k9"
     >
     <uses-sdk
        android:minSdkVersion="19"