On Wed, Jun 11, 2014 at 7:39 PM, Russell Branca <chewbra...@apache.org> wrote: > To clarify the questions about another "CI" server, I believe the reason > for this being released as a CI server is as a way to use the full version > of QuickCheck without them having to distribute it.
Given all this further context, all objections withdrawn. Cheers, Dirkjan