On Tue, 26 Dec 2017 09:00:16 +0100, Ralf Mardorf wrote:
>I suspect you want migrate to it for a production environment, right?
^^^^ this should read "won't"
--
$ pacman -Q linux{,-rt{,-cornflower,-pussytoes}}|awk '{print $2}'
4.14.8-1
4.14.6_rt7-1
4.11.12_rt16-1
4.14.8_rt9-2