--- /dev/null
+Return-Path: <david@tethera.net>\r
+X-Original-To: notmuch@notmuchmail.org\r
+Delivered-To: notmuch@notmuchmail.org\r
+Received: from localhost (localhost [127.0.0.1])\r
+ by olra.theworths.org (Postfix) with ESMTP id 18BA0431FBC\r
+ for <notmuch@notmuchmail.org>; Fri, 24 Jan 2014 05:17:40 -0800 (PST)\r
+X-Virus-Scanned: Debian amavisd-new at olra.theworths.org\r
+X-Spam-Flag: NO\r
+X-Spam-Score: 0\r
+X-Spam-Level: \r
+X-Spam-Status: No, score=0 tagged_above=-999 required=5 tests=[none]\r
+ autolearn=disabled\r
+Received: from olra.theworths.org ([127.0.0.1])\r
+ by localhost (olra.theworths.org [127.0.0.1]) (amavisd-new, port 10024)\r
+ with ESMTP id 3DoooMG5zZPQ for <notmuch@notmuchmail.org>;\r
+ Fri, 24 Jan 2014 05:17:32 -0800 (PST)\r
+Received: from yantan.tethera.net (yantan.tethera.net [199.188.72.155])\r
+ (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits))\r
+ (No client certificate requested)\r
+ by olra.theworths.org (Postfix) with ESMTPS id 8AA4B431FB6\r
+ for <notmuch@notmuchmail.org>; Fri, 24 Jan 2014 05:17:32 -0800 (PST)\r
+Received: from remotemail by yantan.tethera.net with local (Exim 4.80)\r
+ (envelope-from <david@tethera.net>)\r
+ id 1W6gdX-0003Zc-Eh; Fri, 24 Jan 2014 09:17:31 -0400\r
+Received: (nullmailer pid 31661 invoked by uid 1000); Fri, 24 Jan 2014\r
+ 13:17:27 -0000\r
+From: David Bremner <david@tethera.net>\r
+To: Justus Winter <4winter@informatik.uni-hamburg.de>, notmuch@notmuchmail.org\r
+Subject: Re: [PATCH 2/2] python: annotate all calls into libnotmuch with types\r
+In-Reply-To: <E1RYMoW-0004Sc-R1@thinkbox.jade-hamburg.de>\r
+References:\r
+ <1318198374-926-1-git-send-email-4winter@informatik.uni-hamburg.de>\r
+ <1318198374-926-2-git-send-email-4winter@informatik.uni-hamburg.de>\r
+ <4eddf2b1.4288980a.0b74.5557@mx.google.com> <87fwgx7vmm.fsf@SSpaeth.de>\r
+ <E1RYMoW-0004Sc-R1@thinkbox.jade-hamburg.de>\r
+User-Agent: Notmuch/0.17+35~g3b36898 (http://notmuchmail.org) Emacs/24.3.1\r
+ (x86_64-pc-linux-gnu)\r
+Date: Fri, 24 Jan 2014 09:17:27 -0400\r
+Message-ID: <87r47xpli0.fsf@zancas.localnet>\r
+MIME-Version: 1.0\r
+Content-Type: text/plain\r
+X-BeenThere: notmuch@notmuchmail.org\r
+X-Mailman-Version: 2.1.13\r
+Precedence: list\r
+List-Id: "Use and development of the notmuch mail system."\r
+ <notmuch.notmuchmail.org>\r
+List-Unsubscribe: <http://notmuchmail.org/mailman/options/notmuch>,\r
+ <mailto:notmuch-request@notmuchmail.org?subject=unsubscribe>\r
+List-Archive: <http://notmuchmail.org/pipermail/notmuch>\r
+List-Post: <mailto:notmuch@notmuchmail.org>\r
+List-Help: <mailto:notmuch-request@notmuchmail.org?subject=help>\r
+List-Subscribe: <http://notmuchmail.org/mailman/listinfo/notmuch>,\r
+ <mailto:notmuch-request@notmuchmail.org?subject=subscribe>\r
+X-List-Received-Date: Fri, 24 Jan 2014 13:17:40 -0000\r
+\r
+Justus Winter <4winter@informatik.uni-hamburg.de> writes:\r
+\r
+> Quoting Justus Winter (2011-12-07 19:49:31)\r
+\r
+> And another one:\r
+[stack trace snipped]\r
+> #69 0x00000000004e10be in PyRun_SimpleFileExFlags (fp=0xb99c10, filename=<optimized out>, closeit=1, flags=0x7fffc13a1f60) at ../Python/pythonrun.c:936\r
+> #70 0x00000000004f10fd in Py_Main (argc=<optimized out>, argv=<optimized out>) at ../Modules/main.c:599\r
+> #71 0x00007f72f2cbaead in __libc_start_main (main=<optimized out>, argc=<optimized out>, ubp_av=<optimized out>, init=<optimized out>, fini=<optimized out>, \r
+> rtld_fini=<optimized out>, stack_end=0x7fffc13a2078) at libc-start.c:228\r
+> #72 0x000000000041f199 in _start ()\r
+> (gdb) q\r
+>\r
+> with stderr saying:\r
+>\r
+> terminate called after throwing an instance of 'Xapian::DatabaseModifiedError'\r
+> Aborted (core dumped)\r
+>\r
+> This is an uncought c++ exception, right? If so I think it has to be\r
+> cought somewhere in libnotmuch and turned into the appropriate error\r
+> code (hm, there is only the generic XAPIAN_EXCEPTION, I thought there\r
+> was a way to indicate that the db has been modified?).\r
+\r
+Can you still reproduce this bug? If so, a small test case (python is\r
+fine, but ideally not requiring afew) would be helpful.\r
+\r
+d\r