Subject: Re: bug#26073: workaround

From: Stefan Monnier <[email-masked]>
Date: Mon, 27 Nov 2017 15:34:24 -0500

I just installed a patch into `master` which should hopefully fix this
problem without introducing new ones.

        Stefan