Merge remote branch 'origin/master' into multi

2011-03-16 08:16:22 -04:00
parent f78cbddb87 045e633c0d
commit f648aa21a1
3 changed files with 4 additions and 3 deletions
--- a/docs/TODO
+++ b/docs/TODO
@@ -173,3 +173,4 @@ OCR
 * Support ocropus
 * Support cuneiform
 * Implement StringIO
+* Add storage replication delay setting