Thanks! I pushed your patch to the autopkgtest git. Not sure if there is still an infra change to do (for the "Auto Package Testing" task).
Thanks! I pushed your patch to the autopkgtest git. Not sure if there is still an infra change to do (for the "Auto Package Testing" task).