Message ID | 20190513104855.GA5837@www.linux-watchdog.org (mailing list archive) |
---|---|
State | Not Applicable |
Headers | show |
Series | [GIT,PULL,REQUEST] watchdog - v5.2 Merge window | expand |
The pull request you sent on Mon, 13 May 2019 12:48:55 +0200:
> git://www.linux-watchdog.org/linux-watchdog.git tags/linux-watchdog-5.2-rc1
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/55472bae5331f33582d9f0e8919fed8bebcda0da
Thank you!