Juan RP efacd5982d linux4.12: update to 4.12.7.		2017-08-14 10:37:41 +02:00
..
files
patches
template	linux4.12: update to 4.12.7.	2017-08-14 10:37:41 +02:00