Ben Hutchings d545b4e4d0 Update to 4.13-rc4 ... Drop and refresh patchs as appropriate.		2017-08-13 14:45:14 +01:00
..
bugfix	Update to 4.13-rc4	2017-08-13 14:45:14 +01:00
debian	Update to 4.13-rc4	2017-08-13 14:45:14 +01:00
features	Update to 4.13-rc4	2017-08-13 14:45:14 +01:00
series	Update to 4.13-rc4	2017-08-13 14:45:14 +01:00
series-orig	Update to 3.17-rc4	2014-09-13 06:23:27 +00:00
series-rt	[rt] Update to 4.11.9-rt7	2017-07-16 21:28:09 +01:00