e7281860b002ed1e62b5802ede40c530dfd5bfde		branch 'master' of https://github.com/jangko/polyBool