Hi,

I would like to install the following patch to Gnu Elpa.  Does it look
ok to you, Nicolas?