Hi ----- Mensaje original ----- > > > Do you have permissions to spice git? > > No, I don't, since I don't really do any regular work on SPICE. We should push Daniel patches. Someone has any objection? I'll push it tomorrow otherwise. regards