On Fri, Jun 5, 2015 at 5:09 PM, Luis R. Rodriguez <[email protected]> wrote: > Luis R. Rodriguez (4): > patches: remove bt_sock_stream_recvmsg() and bt_sock_recvmsg() from > ifdefs > patches: change 0054-struct-proto_ops-sig backport strategy > gentree.py: add SmPL patch equivalence proof support > patches: provide 0054-struct-proto_ops-sig SmPL patch replacement
FYI - dropped the gentree.py patch for SmPL proof support and pushed the rest. Luis _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
