On 04/12/2016 08:58 AM, Volker Lendecke wrote: > Hi! > > Review appreciated! > > Thanks, Volker > Pushed. FWIW (and with respect to the new libtdb version), I don't think this is an actual bug. Thanks, Uri.