On 08/03/2016 10:08 PM, Dave Mitchell wrote: > 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 +1 \o/Thread Previous | Thread Next