Hi,

I have a couple of patches sitting in debbugs that I'd like installed into master. What is the process for getting them reviewed & installed?

19391 - https://debbugs.gnu.org/cgi/bugreport.cgi?bug=19391
12689 - https://debbugs.gnu.org/cgi/bugreport.cgi?bug=12689
18108 - https://debbugs.gnu.org/cgi/bugreport.cgi?bug=18108
8531 - https://debbugs.gnu.org/cgi/bugreport.cgi?bug=8531

I've also attached the patches to this email.

Thanks,
Samer