On Monday 05 May 2014, Andrew Lake wrote: > I went ahead and added a 'working' branch and added the following: > going into "resuscitating dead threads" again: can the working branch be merged now? -- Marco Martin