On Sun, 27 Oct 2019 10:18:06 +0200
Efraim Flashner <efraim@flashner.co.il> wrote:

> > In any case, I'd written the following simple fix but never merged it because I have yet to meet a module with a legitimate need for it.  It works, though.
> >   
> It was more of surprise that it was in one
> place and not another.

Whoops.  LGTM anyway!