{"push_id":1280162957,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c5614a9d755bb315b4cd447911b75ce8b77056b2","before":"d3e4a8baab00d8edb89e966775ac356acc43e116","commits":[{"sha":"c5614a9d755bb315b4cd447911b75ce8b77056b2","author":{"name":"Kasper Piskorski","email":"bd4af7356444b80fd65a32ef7eb21f6950b049af@o2.pl"},"message":"support for resolution without expansions (#138)\n\n+ support of resolution of unary predicates\r\n+ fixed set duplicate problem\r\n+ fully supported resolution without expansions","distinct":true,"url":"https://api.github.com/repos/mindmapsdb/mindmapsdb/commits/c5614a9d755bb315b4cd447911b75ce8b77056b2"}]}
{"actor":{"display_login":"aelred"}}