> On Aug 8, 2016, at 07:32, Pádraig Brady <[email protected]> wrote: > > On 07/08/16 00:34, Assaf Gordon wrote: >> Hello, >> >> Attached updated patch, with the "extern" patch. >> Also updated the "TODO" item (8th changeset). >> >> If there are no comments, I'll push early next week. >> BTW, is it preferable to squash them into one commit, or leave as separate >> steps? > > I'll add the following and squash to a single commit. > OK for me to push now?
Sounds good, thank you! - assaf
