Comment 3 for bug 1260458

Robert J Jackson (rjackson) wrote :

Thanks for the update Thomas - the patch in the other bug should make our libraries happy!