Re: [GIT PULL] Documentation for 5.0

From: pr-tracker-bot
Date: Sat Dec 29 2018 - 14:55:21 EST

Next message: Willy Tarreau: "Re: [PATCH] tools headers: move the nolibc header from rcutorture to tools/include/nolibc/"
Previous message: Paul E. McKenney: "Re: [PATCH] tools headers: move the nolibc header from rcutorture to tools/include/nolibc/"
In reply to: Jonathan Corbet: "Re: [GIT PULL] Documentation for 5.0"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

The pull request you sent on Fri, 28 Dec 2018 09:06:22 -0700:

> git://git.lwn.net/linux.git tags/docs-5.0

has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/3868772b99e3146d02cf47e739d79022eba1d77c

Thank you!

--
Deet-doot-dot, I am a bot.
https://korg.wiki.kernel.org/userdoc/prtracker

Next message: Willy Tarreau: "Re: [PATCH] tools headers: move the nolibc header from rcutorture to tools/include/nolibc/"
Previous message: Paul E. McKenney: "Re: [PATCH] tools headers: move the nolibc header from rcutorture to tools/include/nolibc/"
In reply to: Jonathan Corbet: "Re: [GIT PULL] Documentation for 5.0"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]