Signed-off-by: Patrick Uiterwijk patrick@puiterwijk.org
Good catch, going to merge manually :)
Commit 4329dfaa fixes this pull-request
Pull-Request has been merged by pingou
Signed-off-by: Patrick Uiterwijk patrick@puiterwijk.org