Salvatore Bonaccorso e70c79cce5 Update to 4.11.9		2017-07-09 12:54:43 +02:00
..
bugfix	Update to 4.11.9	2017-07-09 12:54:43 +02:00
debian	Release linux (4.9.30-1).	2017-06-05 14:12:31 +01:00
features	Update to 4.11.7	2017-06-26 22:01:21 +02:00
series	Update to 4.11.9	2017-07-09 12:54:43 +02:00
series-orig	Update to 3.17-rc4	2014-09-13 06:23:27 +00:00
series-rt	[rt] Update to 4.11.5-rt1 and reenable	2017-06-18 18:14:57 +01:00