[PATCH] Don't create an unnecessary index

[[[
* subversion/libsvn_fs_fs/revprops-db.sql
  (i_revision): Drop this index as redundant and overhead-inducing,
     since the UNIQUE directive already creates (another) index.

Found by: philip
]]]

[[[
Index: subversion/libsvn_fs_fs/revprops-db.sql
===================================================================
--- subversion/libsvn_fs_fs/revprops-db.sql (revision 1124675)
+++ subversion/libsvn_fs_fs/revprops-db.sql (working copy)
@@ -28,8 +28,14 @@
 create table revprop (revision integer UNIQUE not null,
                       properties BLOB not null);
 
-create index i_revision on revprop (revision);
+/* Unreleased 1.7-dev libraries also contained an index:
+ CREATE INDEX i_revision ON revprop (revision);
 
+ This was removed since the UNIQUE statement already constructs
+ its own index.
+ */
+
+
 pragma user_version = 1;
 
 
]]]

I'm also attaching the results of 'sqlite3 EXPLAIN INSERT' on
revprops.db, with the index as created by default and then without
the index.