On Mon 2019-05-20 16:46:23 -0300, David Bremner wrote:
> I pushed this, and broke travis. Can you please have a look at
>
>   https://travis-ci.org/notmuch/notmuch/builds/534979532

Sorry about this, the flaw was a difference between the ubuntu and
debian linker default behavior.

I've responded over at id:20190520205201.12883-1-dkg@fifthhorseman.net

     --dkg