Hi, On 14-04-2021 06:28, M. Zhou wrote: > Hi, > > On Sat, 2021-04-10 at 15:59 +0200, Paul Gevers wrote: >> >> If you also fix the armhf failure, we don't even need to discuss >> anything in this unblock request. In my trial, installing >> linux-hearders-armmp seemed to work. > > Thanks for the pointer. Fixed in 2.0.3-7 Ouch, I had a typo in my text and you copied it literally, sorry. The test fails because hearders isn't headers. > Then if nothing goes wrong, it should be able to migrate > automatically. Should we close this bug or wait for the ci result? Please fix my typo and there's nothing to do from our side. We can close it when we confirm ci worked. Paul
Attachment:
OpenPGP_signature
Description: OpenPGP digital signature