On Sat, Jan 9, 2016 at 3:23 AM, Richard Stallman <rms@gnu.org> wrote:
>
> Any time you expect a response from someone and don't get it, I advise
> writing again after a suitable time.


Any chance someone could push the patch for me? It would be great to see it
finally included. (I've attached it again.)

Cheers, Dave.