Signed-off-by: Pierre-Yves Chibon pingou@pingoured.fr
Tiny change, seems okay to merge, code works well.
The failure in jenkins is unrelated to this PR, so let's get it in :)
Thanks for the review @frantisekz !
Pull-Request has been merged by pingou
Signed-off-by: Pierre-Yves Chibon pingou@pingoured.fr