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