>>>>> "Paul" == Paul Pluzhnikov <ppluzhnikov@google.com> writes: Doug> This patch fixes the segv reported here Paul> Looks good to me. And me as well. Thanks. Tom