Hi On Thu, Jan 25, 2018 at 04:17:06PM +0100, Sebastian Andrzej Siewior wrote: > Dear RT folks! > > I'm pleased to announce the v4.14.15-rt12 patch set. > > Changes since v4.14.15-rt11: > > - Drop ping-sysrq. Since it won't reach mainline in its current shape, > lets drop. Suggested by Carsten Emde. [...] > The split quilt queue is available at: > > https://cdn.kernel.org/pub/linux/kernel/projects/rt/4.14/older/patches-4.14.15-rt12.tar.xz Just a small heads-up: Whilst ping-sysrq.patch was dropped the included series file still contains: # NETWORK DEBUGGING AID ping-sysrq.patch Regards, Salvatore -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html