Comment 3 for bug 902840

Revision history for this message
Jaap Broekhuizen (jaapz-b) wrote :

Thanks for the patch! I pushed the fix.