On Fri, May 23, 2014 at 3:19 AM, Nico Rieck <nico.rieck at gmail.com> wrote: > No static data members in this patch because they require some small > changes to Sema. Looks good to me. Thanks, Hans