Riccardo Setti assigned this to himself, but not being a core developer, cannot commit the fix. Reassigning to Tollef.
Riccardo Setti assigned this to himself, but not being a core developer, cannot commit the fix. Reassigning to Tollef.