Comment 15 for bug 700448

Revision history for this message
Peter TB Brett (peter-b) wrote :

Hi Eivind! I was going to merge this, but then I found that it makes `make distcheck' fail. Could you please investigate? Thanks!