Comment 6 for bug 2041407

Revision history for this message
Mateus Rodrigues de Morais (mateus-morais) wrote (last edit ):

I've written this patch to fix the error.

EDIT: Deleted patch and, after further discussion down below, submitted a Merge Proposal instead.