all_bugs_found…8b217bd84ecde6f81366814…

May 24 2016

Merge branch 'master' into release
74a41d6f0ef2
·richart on Jan 13 2016, 17:38.

setup version for the release 2.2
1a2d9c66bba6
·tag: v2.2
·richart on Oct 19 2014, 12:34.