Comment 8 for bug 1819419

Revision history for this message
jean-pierre charras (jp-charras) wrote :

@Michael,
I just committed your second fix to the stable 5.1.3 branch. Thanks.