Simon, Pawel, Raoul: is this still a problem? Tom's patch is already in master, does it fix this issue?
Simon, Pawel, Raoul:
is this still a problem? Tom's patch is already in master, does it fix this issue?