Gerben Jan Dijkman d8fd3322a2 Correct patches		2022-01-25 09:15:49 +01:00
..
u-boot-pinephone-pro	Correct patches	2022-01-25 09:15:49 +01:00