On Fri, Jun 5, 2015 at 5:09 PM, Luis R. Rodriguez
<mcg...@do-not-panic.com> 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
--
To unsubscribe from this list: send the line "unsubscribe backports" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to