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