On 06/18/2013 04:00 PM, Paul Eggert wrote: > On 06/18/2013 02:29 AM, Pádraig Brady wrote: >> Something like the patch below? > > Yes, thanks, that was fast and looks good. > > Did you forget to push it?
Adjusted to pass make syntax-check and now pushed. thanks for the review! Pádraig.
