Comments

timbrandin’s picture

Here's a patch that resolves the issue for now.