On Wed, Mar 20, 2019 at 10:35:04PM +0200, Efraim Flashner wrote: > Is the patch already in the repo or did you forget to attach it? I'm not sure what happened but I did sent it with `git send-email`: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=34926#5