On Wed, Oct 2, 2013 at 2:36 PM, Johannes Schönberger <jsch at demuc.de> wrote: > To finish everything (ORB and FREAK), I guess it needs more time - at least at the current pace. > > I recommend to exclude the changes. How would you do that? Those PRs haven't been merged, right? So we only need to round off the ones that are already in. Stéfan