[lkml]   [2019]   [Jul]   [16]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRe: [GIT PULL for v5.3-rc1] docs: addition of a large set of files to the documentation body
The pull request you sent on Tue, 16 Jul 2019 08:01:22 -0300:

> git:// tags/docs/v5.3-1

has been merged into torvalds/linux.git:

Thank you!

Deet-doot-dot, I am a bot.

 \ /
  Last update: 2019-07-16 21:41    [W:0.033 / U:1.740 seconds]
©2003-2018 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site