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.