Gerben Jan Dijkman 0a38198cb6 Correct kernel number		2022-06-14 23:39:57 +02:00
..
pinephone-pro-sources	Fixed typo	2022-01-30 17:56:41 +01:00
pinephone-sources	Correct kernel number	2022-06-14 23:39:57 +02:00