Closed Rbiessy closed 6 years ago
My bad, ideally this should be squashed with the previous commit but it's ok if it's not (warning was still appearing but the bad kernel couldn't be called anyway).
My bad, ideally this should be squashed with the previous commit but it's ok if it's not (warning was still appearing but the bad kernel couldn't be called anyway).