Tiny fix. Probably a copy&paste
rebased onto cc193a6ac3f2e0ca1de404954b9f4f53ae3c5c1f
Thanks. Copy&paste error indeed.
I do not think that this needs a CI run. I just checked if this applies on top of current master and it does.
ACK.
Commit e5dc30e0 fixes this pull-request
Pull-Request has been merged by jhrozek
Tiny fix. Probably a copy&paste