{"push_id":664607392,"size":1,"distinct_size":1,"ref":"refs/heads/unstable","head":"1dc17db56a7aad95ba0d9cd9462a644dffddbd23","before":"09afb31d4c7dce0cc0569eb117b8822aa5a5ccf5","commits":[{"sha":"1dc17db56a7aad95ba0d9cd9462a644dffddbd23","author":{"email":"cb3a713351b386ac31772a65bfacab0d57451a15@microsoft.com","name":"Nuno Lopes"},"message":"Fix concat() in c++ api\n\nSigned-off-by: Nuno Lopes <nlopes@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/1dc17db56a7aad95ba0d9cd9462a644dffddbd23"}]}