include file missing when tests are performed from the tarball and not
from git Reported by Andreas Hohenegger <Andreas.Hohenegger@epfl.ch>
Please register or sign in to comment
from git Reported by Andreas Hohenegger <Andreas.Hohenegger@epfl.ch>