Hi Marco,

When do you schedule a fix for this bug?