On Mon, Aug 01, 2016 at 01:02:12PM +0100, Dave Mitchell wrote: > I've just pushed smoke-me/davem/sub_argsB4, which is sub_argsB3 with > extra commits that should address the issues you raised in this thread. > Once that's merged Now merged with 88e4ff8c2b6ddfa921d30822801fbcbc2ace9e4c -- Never do today what you can put off till tomorrow.Thread Previous | Thread Next