On 2 November 2014 04:33, Eric Pruitt <eric.pru...@gmail.com> wrote: > On Sun, Oct 19, 2014 at 11:48:53AM +0200, Anselm R Garbe wrote: >> On 18 October 2014 19:05, Eric Pruitt <eric.pru...@gmail.com> wrote: >> > On Tue, Sep 30, 2014 at 05:46:14PM -0700, Eric Pruitt wrote: >> >> I've attached a revised patch that also adds a couple more configurable >> >> options. >> > >> > Any chance of getting this applied? >> >> Yes, I will apply it. > > Two weeks later again, and still no sign of this in the public repo :(
Thanks for the reminder, now applied. -Anselm