Re: [GIT PULL] printk for 5.3

2019-07-09 Thread pr-tracker-bot
The pull request you sent on Tue, 9 Jul 2019 15:22:59 +0200: > git://git.kernel.org/pub/scm/linux/kernel/git/pmladek/printk > tags/printk-for-5.3 has been merged into torvalds/linux.git: https://git.kernel.org/torvalds/c/7011b7e1b702cc76f9e969b41d9a95969f2aecaa Thank you! -- Deet-doot-dot, I

[GIT PULL] printk for 5.3

2019-07-09 Thread Petr Mladek
Linus, please pull the latest printk changes from git://git.kernel.org/pub/scm/linux/kernel/git/pmladek/printk tags/printk-for-5.3 - Allow to distinguish different legacy clocks again. - Small clean up. G