Hi,

Patches 5 and 6 are missing in this patchset. I even checked the debbugs
web page for this bug at
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=38211 , but it isn't
there. Did you forget to send them?

Thanks,
Arun.