On Mon, Jul 15, 2019 at 12:30:02AM +0000, [email protected] wrote: > The pull request you sent on Sun, 14 Jul 2019 14:13:45 +0000: > > > https://lab.nexedi.com/kirr/linux.git stream_open-5.3 > > has been merged into torvalds/linux.git: > https://git.kernel.org/torvalds/c/fcd98147ac71f35b69e2f50b5fddc5524dd2dfa8
Thanks. _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
