Helmut Pozimski 7ce337d9f8 linux5.1: update to 5.1.12.		2019-06-19 19:57:37 +02:00
..
files	…
patches	…
template	linux5.1: update to 5.1.12.	2019-06-19 19:57:37 +02:00